tensor-fusion / microhaskell
Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.
☆15Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for microhaskell
- ☆16Updated 7 months ago
- Exponent pair database☆19Updated this week
- An implementation of Haskell’s MVars in Racket☆28Updated last month
- A simple λProlog interpreter☆20Updated 2 years ago
- Riemann Hypothesis in Lean☆39Updated 3 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week
- How to read Lean☆16Updated 2 weeks ago
- Solving the 1 Billion Row Challenge in MPL☆16Updated 10 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆14Updated 2 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- ☆25Updated this week
- A verified tensor library in Lean☆12Updated this week
- ☆17Updated 6 years ago
- Demo for dependent types + runtime code generation☆52Updated this week
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- ☆15Updated 5 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- My Attempt at System Fω with Row-Polymorphism☆29Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆22Updated 8 months ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- Some rudimentary proofs on subtyping☆11Updated 2 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago