miking-lang / miking
Miking - the meta viking: a meta-language system for creating embedded languages
☆51Updated last week
Related projects ⓘ
Alternatives and complementary repositories for miking
- EGraphs in OCaml☆60Updated 10 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Tools for record-and-replay debugging☆42Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- OCaml Bindings to MLIR☆13Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- Kleene algebra modulo theories☆27Updated 2 years ago
- The Flambda backend project for OCaml☆113Updated this week
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆33Updated last year
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- A verified compiler for a lazy functional language☆32Updated last month
- A deterministic parser with fused lexing☆71Updated last year
- Fωμ type checker and compiler☆51Updated last year
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- OCaml with macros☆54Updated last week
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- 🩺 A library for compiler diagnostics☆35Updated last week
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 6 years ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 3 years ago