yallop / icfp2014-papersLinks
Accepted papers for ICFP 2014
☆119Updated 9 years ago
Alternatives and similar repositories for icfp2014-papers
Users that are interested in icfp2014-papers are comparing it to the libraries listed below
Sorting:
- Yet another concurrent playground☆33Updated 9 years ago
- Try Idris☆35Updated 9 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- ☆23Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- ☆23Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Haskell's Core in K.☆20Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- QuickCheck extras.☆29Updated 5 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- ☆23Updated 8 years ago
- ☆17Updated 2 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- A simple XML module for Idris.☆13Updated 5 years ago