A Dependently Timed Drum Machine Language
☆11May 4, 2024Updated last year
Alternatives and similar repositories for BottomTsh
Users that are interested in BottomTsh are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Library for writing interactive and visual Futhark programs☆24Jan 9, 2026Updated last month
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆29Feb 25, 2026Updated last week
- Algebraic proof discovery in Agda☆35Dec 6, 2021Updated 4 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Lightning is a Java based, super fast, multi-mode, asynchronous, and distributed URL execution engine from eBay☆18May 20, 2022Updated 3 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- A fast and efficient read-only relocatable data structure for JSON like data, with C and Python APIs☆12Jan 5, 2026Updated last month
- ☆43Jan 11, 2026Updated last month
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- a framework for developing and performing audio-reactive visuals in p5.js, built on Electron.☆12May 6, 2021Updated 4 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- ☆13Jan 7, 2026Updated last month
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- a getopt[_long] implementation with GNU semantics, taken from netbsd☆13Sep 24, 2012Updated 13 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- Kat’s next-generation LLM-powered package manager☆12Apr 1, 2025Updated 11 months ago