A small header-only C++17 metaprogramming library
☆21Aug 10, 2021Updated 4 years ago
Alternatives and similar repositories for mp
Users that are interested in mp are comparing it to the libraries listed below
Sorting:
- Direct3D 11 Renderer☆10Jul 13, 2021Updated 4 years ago
- Writing a program to extract audio from GBA ROMs☆13Mar 26, 2024Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- merry's common library☆15Sep 12, 2023Updated 2 years ago
- Command-line AArch32/AArch64 disassembler☆20Nov 27, 2022Updated 3 years ago
- A model framework for the interpretation of mineral age spectra in stratigraphic context☆16Jan 28, 2026Updated last month
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- racket llvm C-API bindings☆17Feb 7, 2026Updated 3 weeks ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Oct 20, 2016Updated 9 years ago
- Portable implementation of the Irmin Watch API☆14Feb 10, 2026Updated 2 weeks ago
- AGS Aging Cartridge 7.0 Decompilation☆14Mar 6, 2020Updated 5 years ago
- Wrapper for ETH Ariane Core☆22Sep 2, 2025Updated 6 months ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Aug 6, 2022Updated 3 years ago
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Path tracer live coded in stream☆20Aug 23, 2020Updated 5 years ago
- S-expression pretty-printer☆22Jan 15, 2026Updated last month
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- European Lisp Symposium Website Tools☆20Jan 25, 2026Updated last month
- Instruction tester for ARM emulators☆16Jul 6, 2017Updated 8 years ago
- A minimalist functional programming language☆21May 18, 2025Updated 9 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Nov 1, 2022Updated 3 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- Evaluate LLM-synthesized @JuliaLang code.☆26Aug 17, 2024Updated last year
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago