Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.
☆13May 13, 2026Updated last week
Alternatives and similar repositories for ski-interpreter
Users that are interested in ski-interpreter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High efficiency string manipulation in Brainfuck, re-imagined.☆13Apr 10, 2024Updated 2 years ago
- Scalar::Util, List::Util and Sub::Util perl modules☆31Jul 30, 2025Updated 9 months ago
- Lightweight Perl validator supporting Language Independent Validation Rules Specification (LIVR)☆12Apr 20, 2019Updated 7 years ago
- A hollow voice says "Cretin".☆12Sep 12, 2022Updated 3 years ago
- ☆12Oct 1, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Perl debugger☆12Apr 26, 2023Updated 3 years ago
- Demos for new reactive API☆20Feb 26, 2025Updated last year
- A puzzle game based off Puyo Puyo, for your browser.☆13Feb 20, 2023Updated 3 years ago
- Robust Econometric Inference for Predictive Regressions☆17Sep 20, 2025Updated 8 months ago
- Scala 3D Engine☆25Apr 27, 2013Updated 13 years ago
- ☆13Apr 27, 2025Updated last year
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Apr 21, 2020Updated 6 years ago
- Wrapper for some tests for Perl code quality☆25Feb 11, 2016Updated 10 years ago
- Windows taskbar utility - regularly checks twitch.tv channels and when they go live you get a notification.☆10Jun 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Livejournal or Dreamwidth archive utility☆13Sep 26, 2025Updated 8 months ago
- 3500个常用汉字转火星文字典集，火星文来源为互联网在线网址匹配常用字结果的主观筛选（之前拿来想做应用的）☆11Dec 22, 2021Updated 4 years ago
- A web app for building exportable bitmap fonts from custom glyph sets, implemented in React and TypeScript.☆24Apr 6, 2025Updated last year
- The Tangler casual puzzle game. Written in Kotlin, for desktop (Java JAR) and Android. The iOS module is present but was not tested.☆25Sep 14, 2025Updated 8 months ago
- A large corpus of Chinese fixed phrases and idioms scraped from a reputable educational website (30310 instances). 一个大型的中文成语及俗语语料库，内含3031…☆13Oct 29, 2021Updated 4 years ago
- Random puzzle generator for The Witness☆10Jun 25, 2022Updated 3 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 12 years ago
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- Simulator of tube-based Soviet mainframe M-20☆18May 19, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- A library for visualizing graphs in Prolog.☆16Aug 31, 2024Updated last year
- My GitHub blog☆14Mar 30, 2021Updated 5 years ago
- ☆14Aug 11, 2018Updated 7 years ago
- Haskell bo'yicha manbaalar ma'lumotnomasi☆10Mar 29, 2026Updated last month
- Server for Puzzle hunts run by Puzzlehunt CMU, but can be repurposed for other hunts.☆19Jan 20, 2025Updated last year
- Assign text categories to a buffer for mass operations☆17Sep 21, 2024Updated last year
- Random assortment of Forth programs that solve CS 101 sort of problems.☆13Mar 11, 2026Updated 2 months ago
- Repository of top solutions for SHENZHEN I/O☆18May 7, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Mar 31, 2022Updated 4 years ago
- RP/M operating system for microcontrollers☆21Mar 10, 2025Updated last year
- Some very simple 3d work for the original 1995 Sony PlayStation. Just for fun.☆10May 26, 2014Updated 12 years ago
- :fork command for ghci☆20Jan 7, 2019Updated 7 years ago
- Use youtube as a filesystem; Active dev.☆15Mar 25, 2018Updated 8 years ago
- A Stack-Based programming language, using Hebrew Niqqud diacritical marks☆14Dec 7, 2022Updated 3 years ago
- Import workflows for the Wikipedia Citations Database☆13May 19, 2026Updated last week