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
- Game theory in Clojure☆18Updated 11 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A general purpose relational language☆20Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Call Julia from Rust☆16Updated 7 years ago
- Monadic expressions and sequences for Julia☆32Updated last month
- Metamath verifier in Python☆34Updated 6 months ago
- Functional Julia – based on fogus/lemonad☆23Updated 11 years ago
- Various Futhark benchmark programs☆40Updated 2 weeks ago
- Julia embedded in Haskell☆53Updated 5 years ago
- ☆14Updated 5 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- multiparameter typeclasses for Julia☆24Updated 7 years ago
- ☆10Updated 3 months ago
- Calculus of Constructions Implementation☆14Updated 4 years ago
- BQN implementation in Julia☆17Updated 2 years ago
- A TypeChecker for Julia☆69Updated 10 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 2 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Additional functionality for LightGraphs.jl☆21Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- C++ courses for Paris Dauphine☆19Updated 2 years ago
- A Scheduling Problem in Prolog☆12Updated 8 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- The Stan transpiler (from Stan to C++ and beyond).☆141Updated last week
- ☆18Updated 6 years ago