A Categorical View of Computation
☆34Jan 1, 2026Updated 2 months ago
Alternatives and similar repositories for geb
Users that are interested in geb are comparing it to the libraries listed below
Sorting:
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- Formalization of Typhon protocol☆30Dec 20, 2024Updated last year
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- ☆15Jun 13, 2023Updated 2 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- The Juvix standard library☆27Updated this week
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Jan 2, 2026Updated 2 months ago
- A language for intent-centric and declarative decentralised applications☆508Nov 5, 2025Updated 4 months ago
- A framework for generalized shielded state transitions☆148Sep 14, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- The SAW core language.☆55Jun 9, 2021Updated 4 years ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆92Oct 14, 2025Updated 4 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Very controlled natural language tactics for Lean☆66Jan 25, 2024Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 10 months ago
- Krestianstvo | Electric - Clojure. Implementing a scalable Croquet VM.☆30May 20, 2024Updated last year
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Feb 22, 2023Updated 3 years ago
- ☆14Feb 25, 2026Updated last week
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- being a particular fragment of Haskell, extended to a proof system☆44Updated this week
- LispPad is a Scheme development environment for macOS based on the LispKit framework. LispPad Go implements a similar application for iPh…☆45Feb 22, 2026Updated last week
- Decentralized Reliability Engineering☆19Updated this week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- 🏃♂️ Natural language activity tracking with GPT-3☆13Jan 9, 2023Updated 3 years ago
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- INACTIVE - Hubs Bot lambda☆10Jul 22, 2024Updated last year
- Decentralized Exchange Service based on GraphQL☆14Updated this week
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆39Feb 21, 2026Updated last week
- A Clojure interface into the GPT API with advanced tools like conversational memory, task management, and more☆46Jun 6, 2023Updated 2 years ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 7 years ago
- ☆70Jun 26, 2025Updated 8 months ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆46Jan 25, 2026Updated last month