janestreet / bonsai_termLinks
A library for building dynamic terminal apps, using bonsai
☆129Updated last month
Alternatives and similar repositories for bonsai_term
Users that are interested in bonsai_term are comparing it to the libraries listed below
Sorting:
- Modern scientific computing for OCaml☆339Updated last month
- ☆101Updated 11 months ago
- Mini elm-inspired utilities for Ocaml CLI applications☆76Updated last week
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆81Updated 9 months ago
- A little KV store implementation in OCaml to practice DB systems things☆27Updated this week
- Rewriting Principia Mathematica in Lean☆136Updated 3 months ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- PostgreSQL Prolog language handler☆135Updated last year
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆246Updated 5 months ago
- Hotcaml: an interpreter with watching and reloading☆145Updated 3 years ago
- ☆134Updated 3 weeks ago
- A bibliography for protocol design☆46Updated 8 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last year
- Interoperable effects based concurrency☆142Updated 2 weeks ago
- A slow link aggregator built with Gleam☆51Updated 2 months ago
- Transductive regular expressions☆253Updated 3 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated last month
- ☆173Updated 3 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆85Updated last week
- Type-safe markup rendering, form validation, and routing for OCaml Dream web framework☆198Updated last week
- Topological sort library in Zig☆97Updated 3 weeks ago
- Plot Cookbook☆51Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆58Updated last month
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆95Updated last week
- A Rust to OCaml source to source translator☆21Updated last year
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Zero heap allocation HTTP server using OxCaml. v experimental!☆60Updated this week
- Brzozowski derivative python sketch☆85Updated 9 months ago