tensor-fusion / microhaskellLinks
Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.
☆16Updated 11 months ago
Alternatives and similar repositories for microhaskell
Users that are interested in microhaskell are comparing it to the libraries listed below
Sorting:
- Class of data structures that can be unfolded.☆22Updated last year
- ☆17Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- ☆16Updated last year
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- ☆31Updated 8 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- How to read Lean☆17Updated 4 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 6 months ago
- A formalization of System Fω in Agda☆17Updated 3 months ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- A verified tensor library in Lean☆24Updated last week
- A type theory with native support for Polynomial Functors.☆39Updated last year
- A Rust to OCaml source to source translator☆21Updated last year
- A pure Haskell implementation of a decoder-only transformer (GPT)☆19Updated 11 months ago
- ☆13Updated 3 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- algebraic typechecking and elaboration of type systems☆12Updated 4 months ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- An implementation of Haskell’s MVars in Racket☆29Updated 7 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆18Updated 6 months ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- A well typed by construction kernel language for bidirectional programming☆14Updated 5 months ago
- 🪆 A Staged Type Theory☆35Updated last year
- Haskell bindings to Chez Scheme☆10Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last month
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago