Untyped Concatenative Calculus
☆19Dec 25, 2021Updated 4 years ago
Alternatives and similar repositories for ucc
Users that are interested in ucc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dawn Phase 1 proto-language☆37Apr 23, 2021Updated 5 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 5 years ago
- Learn you Galois Fields for Great Good: Code Repository for Blog Series at xorvoid.com☆16May 10, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 7 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 6 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- Git-style subcommands done right☆10Oct 20, 2018Updated 8 years ago
- ☆25Updated this week
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 4 years ago
- Static Site Generation for roc☆10Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Go platform template☆13Updated this week
- A collection of articles about the Factor programming language☆12Apr 1, 2022Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆80Dec 22, 2019Updated 6 years ago
- ☆15Updated this week
- Main Unison website☆13Oct 9, 2026Updated 3 weeks ago
- Animation of Yves Lafont's Interaction Combinators☆26Jan 30, 2022Updated 4 years ago
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- Example programs written for SectorLISP☆24Aug 3, 2022Updated 4 years ago
- ☆10Aug 26, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Jan 3, 2022Updated 4 years ago
- The Rocq Prover bot☆32Oct 26, 2026Updated last week
- ☆12Nov 19, 2023Updated 2 years ago
- Macro Lambda Calculus☆52Mar 23, 2019Updated 7 years ago
- ☆14Feb 28, 2024Updated 2 years ago
- A Roc package for parsing ISO Date/Time strings. 📆⏰📦☆11May 15, 2026Updated 5 months ago
- Haskell bindings to Advent of Code REST API☆16Sep 29, 2026Updated last month
- A realistic future development for the core language of Dyalog APL☆11Jul 9, 2026Updated 3 months ago
- ☆14Aug 23, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- A dependency injection library for python, aimed for the least amount of magic.☆12Feb 23, 2022Updated 4 years ago
- Exercises in implementing regular-expression search☆32Jan 21, 2016Updated 10 years ago
- Lightweight C++ GUI Library For Windows☆18Oct 1, 2026Updated last month
- A pragmatic, functional systems programming language.☆43May 18, 2015Updated 11 years ago
- An NES Emulator in Rust☆13Feb 13, 2015Updated 11 years ago