elpinal / bright-ml
A statically-typed programming language based on "F-ing modules"
☆80Updated 4 years ago
Alternatives and similar repositories for bright-ml:
Users that are interested in bright-ml are comparing it to the libraries listed below
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Signature documentation tool for Standard ML☆14Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Standard ML Parser Combinator Library☆15Updated 6 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- A simple monadic parser combinator library for OCaml☆66Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆75Updated last week
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆116Updated last month
- SML reference interpreter☆112Updated last year
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- OCaml with macros☆57Updated 2 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 10 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- A modular sat/smt solver with proof output.☆99Updated last year
- LL(1) parser generator verified in Coq☆45Updated 5 years ago