miking-lang / miking
Miking - the meta viking: a meta-language system for creating embedded languages
☆51Updated last week
Related projects: ⓘ
- EGraphs in OCaml☆59Updated 8 months ago
- OCaml Bindings to MLIR☆13Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated 11 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆22Updated last month
- Kleene algebra modulo theories☆26Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆62Updated this week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 8 months ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆37Updated 2 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆32Updated 2 months ago
- A statically-typed programming language based on "F-ing modules"☆79Updated 4 years ago
- Parallel ML compiler☆71Updated 4 years ago
- OCaml with macros☆53Updated last year
- Unofficial git mirror of the BER MetaOCaml patchset.☆63Updated last year
- Mathematical plotting library for ocaml☆31Updated last year
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 6 years ago
- A deterministic parser with fused lexing☆70Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated last year
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆33Updated last year
- effects system for continuation☆16Updated this week
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆12Updated last week
- A Futhark binding generator for Rust and OCaml☆27Updated 7 months ago
- Playing with type systems☆43Updated 2 years ago
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 2 weeks ago
- OCaml hacking ideas, small and large.☆19Updated 5 months ago