☆27Oct 24, 2026Updated this week
Alternatives and similar repositories for tree-calculus
Users that are interested in tree-calculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a general blog about my projects, or anything☆30Jul 18, 2025Updated last year
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- Cl-Series: Richard C. Waters' SERIES package for Common Lisp, fork of https://gitlab.common-lisp.net/rtoy/cl-series☆12Mar 26, 2020Updated 6 years ago
- Rust 实现的 12306 风格高并发铁路售票引擎：区间段库存/防超卖/削峰排队/候补兑现/WAL 崩溃恢复☆11Aug 14, 2026Updated 2 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆25Feb 25, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Candle theorem prover (fork of the HOL Light sources)☆27Oct 19, 2026Updated last week
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- WASM to CL transpiler☆15Oct 11, 2026Updated 2 weeks ago
- Cynthia Solomon's history of Logo☆24Jan 22, 2025Updated last year
- ☆16Jan 28, 2024Updated 2 years ago
- Insight Mechanism Reproduction Program - Ramanujan pipeline, structure-induction windows, insight signatures. A Mushroom-Body Program tra…☆27Updated this week
- Programming with pure lambda calculus☆145Jul 16, 2026Updated 3 months ago
- assembly-level instruction-set semantics in Lean☆62Updated this week
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TopoLang is an experimental programming "language" based on topological pattern matching in images.☆35Oct 4, 2025Updated last year
- WebAssembly implementation of the Uxn virtual machine☆58Aug 15, 2024Updated 2 years ago
- ☆13May 31, 2026Updated 4 months ago
- A RFC Compliant Verified DNS server☆13Jul 17, 2026Updated 3 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- make erlang port driver (erl_driver) with rust!☆13Mar 24, 2014Updated 12 years ago
- Basic linear algebra for small matrices in C☆12Updated this week
- Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)☆27Aug 3, 2023Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multi…☆20Jul 26, 2026Updated 3 months ago
- Power series, power serious☆12Apr 21, 2025Updated last year
- Original Joy☆15Dec 17, 2024Updated last year
- Read manga from the comfort of your terminal☆25Apr 19, 2025Updated last year
- Lean Companion to Axler's Linear Algebra Done Right☆30Updated this week
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated 3 weeks ago
- ☆13Aug 3, 2022Updated 4 years ago
- A language with dependent data and codata types☆141Updated this week
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Command line interface for Repology.org☆13Oct 5, 2026Updated 3 weeks ago
- Blue - a colorForth/fasmg love child☆12Nov 28, 2025Updated 11 months ago
- smaller version of Dusa implemented in Racket☆12Oct 4, 2025Updated last year
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years ago
- HTSlib bindings for Crystal☆14Updated this week
- A path finding algorithm for non-grid-based environments.☆12Mar 5, 2023Updated 3 years ago
- Examples of how empathy is used to develop software.☆11Aug 15, 2023Updated 3 years ago