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
Sorting:
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Learn you Galois Fields for Great Good: Code Repository for Blog Series at xorvoid.com☆15May 10, 2025Updated 9 months ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 4 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago
- Example programs written for SectorLISP☆23Aug 3, 2022Updated 3 years ago
- Macro Lambda Calculus☆50Mar 23, 2019Updated 6 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- A version of the Lisp programming language for RISC-V based boards.☆31Jan 12, 2025Updated last year
- A nano "theorem prover".☆62Feb 15, 2019Updated 7 years ago
- stck is a stack-based programming language☆26Dec 9, 2024Updated last year
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- ☆37Nov 16, 2021Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- eForth for the j1 simulator and actual J1 FPGAs☆38Mar 31, 2015Updated 10 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- Repo where to write down documentation and guides for the elm-compiler☆33Jan 11, 2017Updated 9 years ago
- Freeputer ( ) [ ] { } forever free☆40May 15, 2018Updated 7 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- A web app that lets you play musical scales according to math equations☆71Nov 24, 2021Updated 4 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- ☆10Feb 3, 2025Updated last year
- opam plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]☆16Jan 22, 2026Updated last month
- Repo donde se lleva el seguimiento a las pláticas de Chilango Dev☆10Aug 26, 2016Updated 9 years ago
- Translations for the Calendar library.☆11Feb 21, 2018Updated 8 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- Project Trellis database☆14Sep 15, 2025Updated 5 months ago