A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
☆15Oct 1, 2021Updated 5 years ago
Alternatives and similar repositories for GoI-Visualiser
Users that are interested in GoI-Visualiser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- ☆27May 6, 2024Updated 2 years ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated 2 years ago
- An interaction combinator runtime☆18Sep 23, 2024Updated 2 years ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Static site generator☆12Apr 6, 2025Updated last year
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Mar 12, 2022Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 7 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆16Sep 25, 2026Updated last month
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆50Oct 6, 2026Updated 3 weeks ago
- LablGL: an openGL interface for OCaml☆26Dec 24, 2023Updated 2 years ago
- 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.
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆31Apr 20, 2024Updated 2 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated last year
- ☆12Jul 15, 2024Updated 2 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- Statistics for opening_hours in OSM.☆12Aug 7, 2020Updated 6 years ago
- Globular☆40Aug 22, 2018Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OpenRefine wrapper for the Geonames webservice☆10Dec 11, 2022Updated 3 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Print with style in your terminal using Format's semantic tags☆21Oct 27, 2023Updated 3 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- An extension for OpenRefine for creating jobs and uploading data to CrowdFlower crowdsourcing service☆13Oct 4, 2013Updated 13 years ago
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆30Mar 26, 2019Updated 7 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 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.
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- Git-style 3-way string merging using proven algorithms from libgit2/xdiff.☆15Oct 14, 2026Updated 2 weeks ago
- [READ-ONLY] This repository is deprecated. The development of PropertySuggester was moved to Gerrit. See https://gerrit.wikimedia.org/r/#…☆13Oct 16, 2017Updated 9 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- Better dependency caching than Github's own cache action☆13Feb 25, 2025Updated last year
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- ☆14Aug 24, 2021Updated 5 years ago