sebfisch / haskell-regexpLinks
Regular Expression Matching in Haskell
☆36Updated 7 years ago
Alternatives and similar repositories for haskell-regexp
Users that are interested in haskell-regexp are comparing it to the libraries listed below
Sorting:
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- OCaml backend for Agda☆40Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Generation of abstract binding trees☆28Updated 8 months ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Generic unification-based type inference library☆25Updated 10 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Build tool for ATS.☆41Updated 3 years ago
- IO using sized types and copatterns☆35Updated 4 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- System F in coq.☆19Updated 10 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago