The future of programming.
☆69Jun 6, 2021Updated 5 years ago
Alternatives and similar repositories for scheme2d
Users that are interested in scheme2d are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆14Oct 2, 2026Updated last month
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- reworking quest, but faster☆10Jul 26, 2025Updated last year
- An esoteric RPN golfing language☆23Sep 3, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Racket daemon, for better startup time on Racket scripts. Makes short-running scripts feasible in Racket.☆12Oct 28, 2019Updated 7 years ago
- A C library for displaying informative, clean and readable errors☆25Mar 21, 2024Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 7 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Oct 10, 2022Updated 4 years ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 3 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- The Egel Programming Language☆83Oct 24, 2026Updated last week
- RPL++ - Stack-based Reverse polish notation Programming Language☆16Dec 3, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated 4 months ago
- Duo - A research language exploring duality in programming language design☆63May 23, 2023Updated 3 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 6 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 5 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 9 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆36Jul 19, 2019Updated 7 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Jun 21, 2023Updated 3 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 3 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆35Mar 14, 2020Updated 6 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated last year
- Glide programming language☆22Apr 7, 2023Updated 3 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 4 months ago
- A website for the #proglangdesign community on freenode☆109Aug 28, 2026Updated 2 months ago
- The Closey programming language☆14Jul 20, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Sep 2, 2025Updated last year
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- Like APL, but with emojis☆14Mar 28, 2022Updated 4 years ago