sebfisch / haskell-regexp
Regular Expression Matching in Haskell
☆35Updated 6 years ago
Alternatives and similar repositories for haskell-regexp:
Users that are interested in haskell-regexp are comparing it to the libraries listed below
- OCaml backend for Agda☆39Updated 6 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Session types in Idris2!☆27Updated 4 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- System F in coq.☆19Updated 10 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 5 years ago
- Collection of Idris snippets☆21Updated 10 months ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Updated 6 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated last year
- being the beginnings of at least zero typecheckers☆32Updated 7 years ago