jacobstanley / idris-vba
Visual Basic for Applications (VBA) backend for Idris
☆24Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-vba
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- ☆18Updated 10 months ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Manipulating Common Intermediate Language AST in Haskell☆21Updated 8 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- ☆14Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Succinct vectors☆20Updated 5 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- ☆17Updated 2 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Type theory + whales and syntax☆11Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Pure-Haskell proper unicode string handling☆15Updated 8 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Transactional cache with configurable persistence☆48Updated last year
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago