☆25Oct 4, 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
- types for various combinatory systems, especialy tree calculi☆29Jan 23, 2025Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆205Jun 12, 2021Updated 5 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- WebAssembly implementation of the Uxn virtual machine☆58Aug 15, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Jan 28, 2024Updated 2 years ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated 2 years ago
- Lean Companion to Axler's Linear Algebra Done Right☆30Updated this week
- Use a text editor. Make a PDF.☆11Nov 15, 2018Updated 7 years ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆11Jun 27, 2025Updated last year
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated last year
- Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)☆27Aug 3, 2023Updated 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.
- ☆13Aug 3, 2022Updated 4 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Jan 10, 2021Updated 5 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last week
- F# interactive service API exposed via a lightweight HTTP server☆13Mar 6, 2018Updated 8 years ago
- OCaml bytecode library tools☆34Apr 19, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 3 years ago
- A truly mini physics and game engine for the web☆12Dec 12, 2025Updated 9 months ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 9 months ago
- A path finding algorithm for non-grid-based environments.☆12Mar 5, 2023Updated 3 years ago
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 7 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- Virtual diary for progress on all fronts.☆10May 19, 2020Updated 6 years ago
- AB*C☆17Oct 10, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated 2 years ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- NxN Magic square problem solved, using backtracking technique☆13Dec 16, 2022Updated 3 years ago
- ☆15Oct 1, 2026Updated last week
- A parser and interpreter for the "dialect" of "pseudocode" used in Rutgers University's Introduction to Computer Science course (01111)☆16Oct 6, 2020Updated 6 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 11 months ago