a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
☆12Jan 12, 2021Updated 5 years ago
Alternatives and similar repositories for ski
Users that are interested in ski are comparing it to the libraries listed below
Sorting:
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).☆11Aug 13, 2020Updated 5 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated last year
- The only true brainfuck-targetting assembler.☆120Oct 23, 2022Updated 3 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 6 years ago
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated 6 months ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Lazy K interpreter☆31Aug 21, 2024Updated last year
- Advents of Code in Dyalog APL☆10Jan 19, 2024Updated 2 years ago
- LMAO is a tool that builds Malbolge programs from the low-level assembly language HeLL.☆12Apr 10, 2020Updated 5 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆19Jul 4, 2023Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An esoteric programming language written in Ancient Greek☆11Nov 29, 2021Updated 4 years ago
- Seamless integration between Brainfuck and Python with AST compilation!☆14Nov 23, 2019Updated 6 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- Keyboard, Video, Mouse driver for console mode programming in J☆14Mar 21, 2024Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- YAML parser for Dyalog APL☆12Oct 30, 2023Updated 2 years ago
- Haskel brainfuck interpreter☆12Apr 19, 2015Updated 10 years ago
- Esolang with real-world inspiration☆11Aug 18, 2020Updated 5 years ago
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- DevOps for Dyalog APL☆17Dec 27, 2024Updated last year
- Lisp implementation in Befunge☆27Feb 18, 2016Updated 10 years ago
- Source for the apl.quest site☆17Feb 16, 2026Updated 2 weeks ago
- Fixed length vector for haskell☆21Updated this week
- A stack-based esoteric programming language.☆11Mar 1, 2018Updated 8 years ago
- A plain-text encoding for Piet programs☆16Apr 13, 2022Updated 3 years ago