Ptival / language-ocaml
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for language-ocaml
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- higher-kinded data☆30Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆15Updated 5 years ago
- Visualization of Haskell data structures☆14Updated 9 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- ☆39Updated 4 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A monadic approach to static analysis following the methodology of AAM☆19Updated 9 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Applicative lexer☆13Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Library and tool for parsing .eventlog files from GHC☆33Updated last month
- the dynabook but for haskell☆23Updated 5 years ago
- A natural transformation package☆16Updated 2 weeks ago
- ☆23Updated 7 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 2 months ago
- Causal commutative arrows revisited: an optimizing arrow library☆9Updated 8 years ago
- High-performance JSON parser☆24Updated 6 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- IO using sized types and copatterns☆33Updated 3 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- ☆21Updated 7 years ago
- Order theory☆23Updated last year