miking-lang / mikingLinks
Miking - the meta viking: a meta-language system for creating embedded languages
☆55Updated last week
Alternatives and similar repositories for miking
Users that are interested in miking are comparing it to the libraries listed below
Sorting:
- EGraphs in OCaml☆77Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- An encyclopedia of proofs☆63Updated last year
- Kleene algebra modulo theories☆27Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆69Updated 6 months ago
- 🩺 A library for compiler diagnostics☆47Updated 3 months ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆64Updated 2 weeks ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆64Updated last week
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated last year
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆103Updated 6 months ago
- A custom parser/auto-formatter for Standard ML☆83Updated 3 months ago
- An SMT solver frontend for OCaml☆54Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Reference compiler for c0☆38Updated this week
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- OCaml with macros☆60Updated last month
- A mechanisation of Wasm in Isabelle.☆30Updated last week
- A constraint solver built from scratch in OCaml☆12Updated 3 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago