tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
☆14Oct 24, 2025Updated 4 months ago
Alternatives and similar repositories for tak
Users that are interested in tak are comparing it to the libraries listed below
Sorting:
- ☆33Jan 23, 2025Updated last year
- The Titan programming language.☆12Apr 16, 2024Updated last year
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆11Jan 9, 2026Updated last month
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- Stack Lang - stack based programming language☆11Dec 31, 2024Updated last year
- b4 : a tiny forth-like virtual machine☆40Feb 19, 2026Updated 2 weeks ago
- A column-oriented, dataframe implementation for Racket.☆17Mar 30, 2025Updated 11 months ago
- 🌑 Forth Programming Language on Lua☆23Jun 19, 2025Updated 8 months ago
- A stack-based language implemented in RISC-V assembly☆17Apr 4, 2024Updated last year
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- A playground for programming language ideas.☆21Feb 26, 2026Updated last week
- A Fantasy Computer using Forth as its system language☆41Nov 2, 2019Updated 6 years ago
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 7 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- Neural net simulator (McCulloch & Pitts)☆21Aug 24, 2022Updated 3 years ago
- Stack language compiled to lua☆23Feb 3, 2025Updated last year
- Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)☆25Aug 3, 2023Updated 2 years ago
- A discrete, colored Petri Net DSL and executor☆17Aug 9, 2022Updated 3 years ago
- ☆19May 16, 2022Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- spec for defining "scuttlebutt" as a living changing protocol☆28Jun 30, 2019Updated 6 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- my phd thesis☆26Aug 7, 2024Updated last year
- Generalized syntax & semantics for universe hierarchies☆32Dec 11, 2023Updated 2 years ago
- Forth emulator, as a Racket #lang☆21Feb 20, 2023Updated 3 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Feline, a concatenative programming language (Windows and Linux x86-64). Early days.☆59Jun 3, 2024Updated last year
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆29Feb 12, 2016Updated 10 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Forth for the ZX Spectrum☆33Aug 27, 2025Updated 6 months ago
- ☆11Oct 25, 2024Updated last year
- ☆10Nov 14, 2018Updated 7 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Feb 26, 2026Updated last week
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆41Jul 8, 2023Updated 2 years ago