BartoszMilewski / DeepLearning
Neural networks using parametric prelenses and Trimbara modules
☆31Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for DeepLearning
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- ☆73Updated this week
- Effects libraries in Haskell☆72Updated last year
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- Demo for dependent types + runtime code generation☆48Updated this week
- Functional choreographic programming in Haskell☆80Updated last month
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- 🌐 | HTTP primitives for Lean 4☆27Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆33Updated 5 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- A core language and API for dependently typed languages☆89Updated 11 months ago
- A special-purpose processor for pure, non-strict functional languages☆21Updated 3 months ago
- high-performance cubical evaluation☆68Updated 4 months ago
- Learn the Agda basics in three 2-hour sessions.☆55Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- Haskell to C compiler via Categorifier☆29Updated 11 months ago
- Javascript DOM bindings for Idris2☆50Updated 5 months ago