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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).☆11Aug 13, 2020Updated 5 years ago
- YAML parser for Dyalog APL☆14Oct 30, 2023Updated 2 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 12 years ago
- Advents of Code in Dyalog APL☆10Jan 19, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Journey to the Center of the Lambda Calculus☆15Aug 31, 2023Updated 2 years ago
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 6 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆20Jul 4, 2023Updated 2 years ago
- The only true brainfuck-targetting assembler.☆118Oct 23, 2022Updated 3 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated 2 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 10 months ago
- Source for the apl.quest site☆17Feb 16, 2026Updated 3 months ago
- Fixed length vector for haskell☆22Feb 28, 2026Updated 3 months ago
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- DevOps for Dyalog APL☆17Dec 27, 2024Updated last year
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- a small (~140 line) and portable 6502 emulator demo.☆19Jan 4, 2022Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 5 months ago
- Advent of Code 2022 solutions in Dyalog APL☆23Dec 29, 2022Updated 3 years ago
- Keyboard, Video, Mouse driver for console mode programming in J☆14Mar 21, 2024Updated 2 years ago
- Lazy K interpreter☆31Aug 21, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Haskel brainfuck interpreter☆12Apr 19, 2015Updated 11 years ago
- Lisp implementation in Befunge☆27Feb 18, 2016Updated 10 years ago
- Reason about Bitcoin addresses with Prolog☆24Mar 17, 2024Updated 2 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Mar 18, 2026Updated 2 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 4 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 6 months ago
- Seamless integration between Brainfuck and Python with AST compilation!☆14Nov 23, 2019Updated 6 years ago
- TPDD client implemented in bash☆21Oct 29, 2025Updated 7 months ago
- An esoteric programming language written in Ancient Greek☆11Nov 29, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A presentation tool written in J☆20Apr 2, 2024Updated 2 years ago
- Esolang with real-world inspiration☆11Aug 18, 2020Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆22Jun 4, 2026Updated last week
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Classical Logic in Haskell☆23Nov 19, 2025Updated 6 months ago
- Converting APL Primitives to NumPy Expressions☆28Jan 30, 2024Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year