Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Recursion Tree Visualizer | 359 | a year ago | 4 | mit | TypeScript | |||||
🌳 Input the source code of any recursive function in javascript, python or golang and visualize your recursion tree | ||||||||||
Python Dp Means Clustering | 35 | 9 years ago | bsd-2-clause | Python | ||||||
DP-means K-means clustering algorithms comparison | ||||||||||
Magnificats | 28 | 4 years ago | ATS | |||||||
Collection of ATS goodness | ||||||||||
Stlc | 20 | 6 years ago | 1 | Agda | ||||||
Dependently typed Algorithm M and friends | ||||||||||
Lambda Lanczos | 19 | 5 months ago | mit | C++ | ||||||
C++ adaptive and header-only Lanczos algorithm library | ||||||||||
Bless | 12 | 6 months ago | 1 | mit | Python | |||||
Fast algorithm for leverage score sampling, low rank (kernel) matrix factorization and PCA | ||||||||||
Deep Watkins Q And Actor Critic | 12 | 6 years ago | Python | |||||||
Implementation of TD Lambda algorithm, with neural network for value estimation | ||||||||||
Bittman | 11 | 7 years ago | JavaScript | |||||||
Bittman algorithm implemented with serverless | ||||||||||
Ntua Lambda | 9 | 5 years ago | 2 | gpl-3.0 | HTML | |||||
This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow. | ||||||||||
Play | 7 | 9 years ago | apache-2.0 | Prolog | ||||||
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations |