serokell / foundry
Morte IDE
☆28Updated 8 months ago
Related projects: ⓘ
- ☆41Updated 7 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Reification of data structures using observable sharing☆28Updated 4 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- MPFR bindings for Haskell☆33Updated 11 months ago
- Transactional cache with configurable persistence☆48Updated last year
- ☆23Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- Deep evaluation of data structures☆40Updated last week