Alternatives and similar repositories for pragmatic-category-theory

Users that are interested in pragmatic-category-theory are comparing it to the libraries listed below

• thamugadi / semantic-preservation

  View on GitHub
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12May 1, 2024Updated last year
• CakeML / pure

  View on GitHub
  A verified compiler for a lazy functional language
  ☆39Updated this week
• thamugadi / call-cc-krivine

  View on GitHub
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆15Feb 26, 2024Updated last year
• logicforprogrammers / book-assets

  View on GitHub
  Assets for the book "Logic for Programmers"
  ☆25Feb 2, 2026Updated 2 weeks ago
• iokasimov / ya

  View on GitHub
  Я - extremely composable embeddable programming language
  ☆108Updated this week
• chshersh / ccl

  View on GitHub
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆252Aug 1, 2025Updated 6 months ago
• dannywillems / dsubml

  View on GitHub
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Apr 18, 2017Updated 8 years ago
• NoahStoryM / ctp

  View on GitHub
  Category Theory in Programming
  ☆13Jan 22, 2026Updated 3 weeks ago
• SjVer / Lamb

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last week
• secure-foundations / vWasm

  View on GitHub
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Aug 30, 2022Updated 3 years ago
• sternenseemann / logbook

  View on GitHub
  A tool for keeping a personal log
  ☆16Jan 1, 2025Updated last year
• patricoferris / riscv-o-spec

  View on GitHub
  An OCaml extension for RISC-V
  ☆16Nov 6, 2020Updated 5 years ago
• jfecher / algorithm-j

  View on GitHub
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆79Jan 20, 2022Updated 4 years ago
• marigold-dev / easier-proofs

  View on GitHub
  A project which aim to help engineers to make proves easily
  ☆14Mar 3, 2022Updated 3 years ago
• marvinborner / BLoC

  View on GitHub
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Jan 21, 2024Updated 2 years ago
• swtwsk / vinci-lang

  View on GitHub
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Sep 16, 2021Updated 4 years ago
• LPCIC / matita

  View on GitHub
  Matita (proof assistant) with embedded elpi
  ☆15Jan 30, 2018Updated 8 years ago
• Drup / tree_layout

  View on GitHub
  Algorithms to layout trees in a pretty manner.
  ☆36Mar 7, 2022Updated 3 years ago
• IUCompilerCourse / python-student-support-code

  View on GitHub
  Support for for students (Python)
  ☆70Nov 3, 2025Updated 3 months ago
• prg-titech / baccaml

  View on GitHub
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33May 2, 2025Updated 9 months ago
• ocaml-sys / libc.ml

  View on GitHub
  Raw bindings to platform APIs for OCaml
  ☆16Mar 18, 2024Updated last year
• brendanzab / language-garden

  View on GitHub
  A garden of small programming language implementations 🪴
  ☆312Updated this week
• hanshuebner / secd

  View on GitHub
  SECD microprocessor reimplementation in VHDL
  ☆36Nov 13, 2019Updated 6 years ago
• reactiveml / rml

  View on GitHub
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Nov 14, 2022Updated 3 years ago
• lexi-lambda / racket-commonmark

  View on GitHub
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Oct 8, 2024Updated last year
• tiny-bow / ribbon-language

  View on GitHub
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆21Jan 18, 2026Updated 3 weeks ago
• msakai / data-interval

  View on GitHub
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆22Feb 3, 2026Updated 2 weeks ago
• vzarytovskii / FSharp.Core.Extended

  View on GitHub
  A drop-in replacement for F# core library with generally faster defaults
  ☆49Jun 23, 2025Updated 7 months ago
• jespercockx / agda2scheme

  View on GitHub
  Compiler backend for generating Scheme code
  ☆28Nov 27, 2025Updated 2 months ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• fosskers / fosskers.ca

  View on GitHub
  My personal site.
  ☆10Jan 20, 2026Updated 3 weeks ago
• phase / dtt

  View on GitHub
  dependent type theory experiment
  ☆26Mar 1, 2024Updated last year
• engboris / stellogen

  View on GitHub
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Jan 24, 2026Updated 3 weeks ago
• suri-framework / atacama

  View on GitHub
  Modern, pure OCaml socket pool for Riot
  ☆43Apr 15, 2024Updated last year
• jdan / compiler.lean

  View on GitHub
  A formally verified compiler for a simple language with numbers and sums
  ☆27Nov 29, 2020Updated 5 years ago
• thamugadi / mltt-c

  View on GitHub
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆27Aug 9, 2025Updated 6 months ago
• chessai / theseus

  View on GitHub
  theseus, functional programming language with fully reversible computation
  ☆126Jun 3, 2019Updated 6 years ago
• BartoszMilewski / DaoFP

  View on GitHub
  The Dao of Functional Programming
  ☆503Jan 23, 2026Updated 3 weeks ago