adamwespiser / deep-learning-koans
A series of educational Deep Learning Koans, using Julia and Flux.jl
☆29Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for deep-learning-koans
- ☆10Updated 4 months ago
- Inverted file system for billion-scale ANN search☆18Updated 11 months ago
- Python S-expression emulation using tuple-like objects.☆21Updated 2 months ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- A Scheduling Problem in Prolog☆12Updated 8 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- Jupyter notebooks showing to implement statistical functions.☆14Updated 4 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Additional functionality for LightGraphs.jl☆21Updated 2 years ago
- A Stan-like probabilistic programming language.☆68Updated 4 years ago
- BQN implementation in Julia☆17Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- ☆18Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆16Updated this week
- Word2Vec in Julia☆9Updated 9 years ago
- Write Rust code in Julia☆46Updated 8 years ago
- Material for AMLD 2020 workshop "Bayesian Inference: embracing uncertainty"☆30Updated 2 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆20Updated 5 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- Formalism and proofs for esverify☆20Updated 6 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Theorems, Definitions, Papers, Research☆15Updated 5 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Algorithmic music composition in Julia☆10Updated 4 years ago
- Build Petri net models compositionally☆76Updated 3 weeks ago
- ☆15Updated last year