A programming language where the syntax and semantics are mutable at runtime
☆170May 11, 2012Updated 14 years ago
Alternatives and similar repositories for katahdin
Users that are interested in katahdin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated 8 months ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆285Jun 28, 2026Updated 4 months ago
- The Converge programming language☆86Jul 20, 2026Updated 3 months ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 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.
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- A Concatenative Programming Language inspired by Cat☆22Nov 20, 2020Updated 5 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 5 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆131Oct 18, 2026Updated 2 weeks ago
- A home-made stack based language heavily inspired from PostScript☆11Jan 24, 2020Updated 6 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆25Apr 10, 2025Updated last year
- The future of programming.☆69Jun 6, 2021Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆93Dec 10, 2018Updated 7 years ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆32May 27, 2023Updated 3 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.
- Sinister's Scheme Compiler!☆24Oct 6, 2022Updated 4 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- ☆18May 18, 2023Updated 3 years ago
- Metaprogramming framework for .net☆91Dec 27, 2019Updated 6 years ago
- A programming language in the Perl/Python/Ruby group☆132Jul 24, 2018Updated 8 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 14 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆37Nov 29, 2016Updated 9 years ago
- compile your own functional language☆36May 9, 2019Updated 7 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.
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 10 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- L.B. Stanza Programming Language☆213Mar 16, 2023Updated 3 years ago
- source code for the bondi programming language☆46Feb 17, 2019Updated 7 years ago
- NES emulator on MIT Scratch, rewrite using metaprogramming☆10Jan 23, 2017Updated 9 years ago
- Context switching for LLVM☆15Sep 12, 2011Updated 15 years ago
- My Own Linear Lisp☆41Aug 24, 2018Updated 8 years ago
- A Programming language of directories. Just for fun.☆15Feb 2, 2023Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 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.
- C++ compile-time Prolog interpreter☆65Feb 26, 2014Updated 12 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 8 years ago
- The Egel Programming Language☆83Oct 24, 2026Updated last week
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 8 years ago
- Compiler and tools for the L programming language☆71Apr 29, 2024Updated 2 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 9 years ago
- The Whiley Compiler (WyC)☆230Feb 9, 2023Updated 3 years ago