jacobstanley / idris-vba
Visual Basic for Applications (VBA) backend for Idris
☆24Updated 7 years ago
Alternatives and similar repositories for idris-vba:
Users that are interested in idris-vba are comparing it to the libraries listed below
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- ☆18Updated last year
- Manipulating Common Intermediate Language AST in Haskell☆21Updated 8 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Control.Effects☆19Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- Pure-Haskell proper unicode string handling☆15Updated 8 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- ☆23Updated 7 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 4 months ago
- ☆23Updated 7 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- ☆17Updated 2 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Updated 5 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Decision procedures for Presburger arithmetic in Haskell☆29Updated 3 weeks ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago