BartoszMilewski / DeepLearning
Neural networks using parametric prelenses and Trimbara modules
☆33Updated last year
Alternatives and similar repositories for DeepLearning:
Users that are interested in DeepLearning are comparing it to the libraries listed below
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Effects libraries in Haskell☆71Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- ☆92Updated 2 weeks ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Interpret Haskell programs into any cartesian closed category.☆59Updated 2 months ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 4 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 weeks ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆94Updated 3 weeks ago
- Compositional Representable Executable Machines☆116Updated 4 months ago
- Parser Combinator Library for Lean 4☆47Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 11 months ago
- Total Parser Combinators in Agda☆126Updated last year
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- A logical authorization system☆50Updated 3 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Algebraic effects in the Bluefin effect system☆16Updated 11 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- A core language and API for dependently typed languages☆90Updated last month
- A structured concurrency library☆86Updated last month
- Haskell to C compiler via Categorifier☆32Updated last year
- Source material for Certainty by Construction☆41Updated last year
- higher-order algebraic effects done right for Haskell☆86Updated last month
- oleg modules☆30Updated 12 years ago