Alternatives and similar repositories for bonsai_term

Users that are interested in bonsai_term are comparing it to the libraries listed below

• avsm / httpz
  Zero heap allocation HTTP server using OxCaml. v experimental!
  ☆116Updated last week
• raven-ml / raven
  Modern scientific computing for OCaml
  ☆347Updated this week
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆75Updated last month
• jeprinz / pantograph
  ☆101Updated 11 months ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆32Updated last week
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆47Updated 9 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated last year
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆81Updated 10 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆248Updated 6 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated last week
• facundoolano / news.olano.dev
  A slow link aggregator built with Gleam
  ☆52Updated 3 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆77Updated 2 years ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆96Updated 2 weeks ago
• williamw520 / toposort
  Topological sort library in Zig
  ☆97Updated last month
• antithesishq / bombadil
  Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
  ☆118Updated this week
• c0stya / trre
  Transductive regular expressions
  ☆254Updated 4 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆122Updated last week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆144Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated 2 weeks ago
• jordanhubbard / nanolang
  A tiny experimental language designed to be targeted by coding LLMs
  ☆473Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 9 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆108Updated 2 years ago
• mbuhot / glyn
  Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.
  ☆89Updated 5 months ago
• yawaramin / dream-html
  Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
  ☆200Updated last month