edwinb / WS-idr
Yes, it is what you think it is
☆33Updated 9 years ago
Alternatives and similar repositories for WS-idr:
Users that are interested in WS-idr are comparing it to the libraries listed below
- System POSIX bindings for Idris.☆36Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- For supporting template-based programming☆21Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Build tool for ATS.☆41Updated 2 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Concurrent IO language with Uniqueness Types☆9Updated 9 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Type provider library for Idris☆94Updated 7 years ago
- ☆39Updated 6 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- ☆21Updated 7 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 6 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- ☆21Updated 9 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago