A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
☆15Oct 1, 2021Updated 4 years ago
Alternatives and similar repositories for GoI-Visualiser
Users that are interested in GoI-Visualiser are comparing it to the libraries listed below
Sorting:
- Visual environment for manipulation the lambda calculus expressions☆30Updated this week
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆28Mar 26, 2019Updated 6 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated 5 months ago
- ☆27May 6, 2024Updated last year
- The propagator system☆41Nov 30, 2015Updated 10 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Globular☆39Aug 22, 2018Updated 7 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- ☆10May 2, 2025Updated 10 months ago
- Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language☆96Jul 4, 2020Updated 5 years ago
- Visual programming language: SKetches of Abstract Syntax Trees. I. C.☆10Jan 14, 2022Updated 4 years ago
- DEPRECATED installer for Mbed CLI on OS X☆13Sep 14, 2023Updated 2 years ago
- TTK website☆11Jan 8, 2026Updated last month
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ☆12Jul 15, 2024Updated last year
- JudiLing: An implementation for Linear Discriminative Learning in Julia.☆10Jan 24, 2026Updated last month
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 7 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 4 years ago
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Dec 30, 2025Updated 2 months ago
- simple and functional concurrency primitives for Clojure☆50Mar 26, 2018Updated 7 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Simple brainfuck compiler writen with LLVM☆11Dec 10, 2019Updated 6 years ago
- Statistics for opening_hours in OSM.☆12Aug 7, 2020Updated 5 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- A list where most values will be None (or default)☆10Jul 19, 2023Updated 2 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- The toolkit called magyarlanc aims at the basic linguistic processing of Hungarian texts. The toolkit consists of only JAVA modules (the…☆14Jun 21, 2016Updated 9 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- ☆13Sep 21, 2021Updated 4 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago