BartoszMilewski / DeepLearningLinks
Neural networks using parametric prelenses and Trimbara modules
β36Updated last year
Alternatives and similar repositories for DeepLearning
Users that are interested in DeepLearning are comparing it to the libraries listed below
Sorting:
- π§ a work in progress effect system for Haskell π§β137Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.β69Updated this week
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β84Updated 3 weeks ago
- Functional choreographic programming in Haskellβ115Updated 8 months ago
- A Haskell blogβ151Updated 4 months ago
- Effects libraries in Haskellβ71Updated 2 years ago
- Compositional Representable Executable Machinesβ122Updated 2 months ago
- Haskell Functional Reactive Programming framework with type-level clocksβ141Updated last week
- Utilities and documentation for exploring idirs2's new elaborator reflection.β85Updated 2 weeks ago
- A structured concurrency libraryβ86Updated 11 months ago
- Distributors - Unifying Parsers, Printers & Grammarsβ62Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)β64Updated 6 months ago
- Learn the Agda basics in three 2-hour sessions.β60Updated 4 months ago
- Javascript DOM bindings for Idris2β54Updated 3 months ago
- π | HTTP primitives for Lean 4β53Updated last month
- β58Updated 4 months ago
- GRIN backend for GHCβ142Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machineβ40Updated 5 months ago
- Compiling Agda code to readable Haskellβ200Updated last week
- GHC Whole Program Compiler and External STG IR toolingβ120Updated 3 months ago
- A modern step-through debugger for GHC Haskellβ111Updated last week
- SPLV20 course notesβ114Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)β69Updated 5 months ago
- β142Updated last week
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- LLM-powered typed-holesβ55Updated 9 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated last year
- LLVM code generation in Haskellβ54Updated last year
- β‘οΈEfficient implementation of Map with types as keysβ102Updated 3 weeks ago
- Pre-processor for .hsc filesβ43Updated last month