janestreet / bonsai_termLinks
A library for building dynamic terminal apps, using bonsai
☆88Updated this week
Alternatives and similar repositories for bonsai_term
Users that are interested in bonsai_term are comparing it to the libraries listed below
Sorting:
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Mini elm-inspired utilities for Ocaml CLI applications☆76Updated last month
- ☆96Updated 9 months ago
- PostgreSQL Prolog language handler☆135Updated last year
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆94Updated last week
- Topological sort library in Zig☆97Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- Backtesting engine in Zig☆147Updated 3 weeks ago
- Transductive regular expressions☆252Updated 2 months ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- An online IDE for visual programming in Prolog☆245Updated last month
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- This repo contains a new way to use bloom filters to do lossless video compression☆249Updated 5 months ago
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 10 months ago
- Brzozowski derivative python sketch☆85Updated 7 months ago
- Disk Based Key-Value Store Inspired by Bitcask☆196Updated 5 months ago
- Foundation DB Query Language☆147Updated 2 weeks ago
- a rust typescript integration☆62Updated 4 months ago
- A hot take on Lisp metaprogramming☆124Updated 5 months ago
- Catalogue of novel operating systems☆333Updated 4 months ago
- ☆171Updated 2 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 8 months ago
- File manager + CRDT Note Editor☆218Updated last year
- Zig library for HyperLogLog estimation☆91Updated last year
- ☆134Updated 3 months ago
- A data and code editor that feels like a spreadsheet.☆182Updated last year
- A bibliography for protocol design☆46Updated 7 months ago
- A collection of fluid simulations☆59Updated last month