joshuanianji / idris-2-dockerLinks
Multi-arch Docker images for Idris 2
☆13Updated last week
Alternatives and similar repositories for idris-2-docker
Users that are interested in idris-2-docker are comparing it to the libraries listed below
Sorting:
- Javascript DOM bindings for Idris2☆52Updated 3 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 8 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Reimplementation of a subset of Cabal☆32Updated this week
- ☆22Updated 5 months ago
- ☆41Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆40Updated 3 years ago
- ☆41Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 7 months ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- ☆12Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 8 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated last month
- ☆48Updated last month
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated 2 weeks ago
- ICFP tutorial☆39Updated 4 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- 👅 Parse Haskell Language Extensions☆48Updated 2 weeks ago
- A modern Haskell debugger☆31Updated 5 months ago
- being a particular fragment of Haskell, extended to a proof system☆42Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Idris port of Haskell's sop-core library☆36Updated last month