Lambda calculus interpreter written in TypeScript
☆40Oct 26, 2025Updated 4 months ago
Alternatives and similar repositories for lambster
Users that are interested in lambster are comparing it to the libraries listed below
Sorting:
- Web interface for https://github.com/minchingtonak/lambster☆14Oct 26, 2025Updated 4 months ago
- Sissy Life CYOA☆12Sep 4, 2015Updated 10 years ago
- 2020年北京理工大学强制将毕业生宿舍行李物品寄走事件☆11Jul 7, 2020Updated 5 years ago
- Mod for Buckshot Roulette that hides bullets from the player.☆12Nov 8, 2024Updated last year
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 7 years ago
- An online tool to prototype and generate a base CSS theme☆14Apr 23, 2024Updated last year
- UppHub is the repository that serves as the official global registry for U++ distributed packages. Each package provides additional funct…☆12Nov 4, 2025Updated 4 months ago
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- A functional programming language☆15Jul 23, 2025Updated 7 months ago
- 原稿用紙；原稿紙；稿紙；日式便箋；UPTEX/UPLATEX 縱書☆10Nov 27, 2019Updated 6 years ago
- Conti V3 source code updated☆11Jun 30, 2022Updated 3 years ago
- The doas equivalent for sudoedit.☆14Jun 26, 2025Updated 8 months ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- Python script for easily replacing an old Philips Hue bulb with a new one, and copying Group and Scene data☆11Sep 13, 2022Updated 3 years ago
- Fusion demo project for RDC 2024: Using UI Frameworks to Conquer Code Complexity☆17Sep 4, 2024Updated last year
- Simple Continuous Delivery system running in your bash shell☆14Aug 30, 2019Updated 6 years ago
- A boilerplate template project for building a subgraph with async-graphql☆13Mar 3, 2026Updated last week
- JupyterLab extension to open files passed via a URL parameter.☆12Nov 21, 2024Updated last year
- An implementation of the Lox programming language☆10Nov 24, 2020Updated 5 years ago
- ☆15Oct 28, 2023Updated 2 years ago
- Auto-KWS 2021 Challenge 1st place solution.☆11Jul 20, 2021Updated 4 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 8 months ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Showcasing a few arena techniques☆11Oct 28, 2024Updated last year
- All the components necessary to drive the GMTK Team Finder tools☆14Mar 2, 2026Updated last week
- This Go project implements a basic blockchain with block creation and validation, and includes an HTTP server for block management.☆13Jun 30, 2023Updated 2 years ago
- A frontend for the Racket Package Catalog.☆13Feb 7, 2026Updated last month
- Compressed double-array tries for static string dictionaries☆11May 9, 2019Updated 6 years ago
- chat bot framework in V☆14Feb 11, 2026Updated 3 weeks ago
- Fork of https://github.com/weigert/SimpleHydrology, modified to run on Windows☆12Sep 7, 2020Updated 5 years ago
- A simple application for running scripts from the system tray☆10Jan 7, 2022Updated 4 years ago
- Lightweight request runner☆18Dec 8, 2020Updated 5 years ago
- Command line tool for converting epub files to markdown☆15Jun 26, 2017Updated 8 years ago
- ☆11Mar 8, 2025Updated last year
- Open-source Co Extrusion Hotend for Directional Material Deposition (DMD) — The Roetz-End by Roetz4.0☆68Dec 21, 2025Updated 2 months ago
- 某SAP的x264压制脚本☆13Dec 30, 2015Updated 10 years ago
- Minimal, efficient proof language☆15May 28, 2019Updated 6 years ago
- Conver pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago