☆14Jul 21, 2015Updated 10 years ago
Alternatives and similar repositories for macro-dsl-tutorial
Users that are interested in macro-dsl-tutorial are comparing it to the libraries listed below
Sorting:
- ☆19May 18, 2023Updated 2 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- ☆11Mar 5, 2026Updated 2 weeks ago
- NES emulator on MIT Scratch, rewrite using metaprogramming☆10Jan 23, 2017Updated 9 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 4 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- ☆27Mar 4, 2023Updated 3 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ☆59Jan 30, 2014Updated 12 years ago
- A RIME IME for Taishanese☆11Aug 3, 2023Updated 2 years ago
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- A miniature version of the l4 language☆13Jun 29, 2025Updated 8 months ago
- some old code about scheme compiler I've ever wrote☆14Jun 21, 2025Updated 9 months ago
- A tree-walk lox interpreter written in Rust.☆20Apr 1, 2018Updated 7 years ago
- Demonstration of implementing a language in Racket☆58Jul 9, 2014Updated 11 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 8 years ago
- ☆16May 1, 2023Updated 2 years ago
- Like Scrabble but worse☆18Dec 9, 2023Updated 2 years ago
- A playground for a global prompt for working with Claude Code and similar AI systems.☆30Aug 27, 2025Updated 6 months ago
- Low level forth like language for writing canvas applications☆14Jan 11, 2024Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- A pythonic syntax for Julia (for fun, not for serious use)☆14Aug 20, 2019Updated 6 years ago
- ☆50Oct 1, 2015Updated 10 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 7 months ago
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- uxn stack machine for the monome teletype☆14Jun 28, 2021Updated 4 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27May 5, 2020Updated 5 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- [DEVELOPMENT CONTINUES HERE: https://github.com/Pybonacci/jupy2wp] Publish an IPython notebook on a wordpress site using xmlrpc☆17May 20, 2016Updated 9 years ago
- Plugins for RPG Maker MV☆10Jan 21, 2016Updated 10 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- A tokenizer for splitting words, graphemes and sentences per Unicode UAX #29, for .Net☆20Jul 28, 2025Updated 7 months ago
- A Julia Tutorial☆12Mar 5, 2015Updated 11 years ago
- Lua + Love2d port of the Uxn Virtual Machine☆18May 1, 2023Updated 2 years ago
- Forth Literate Programming with IPython notebook☆21Sep 28, 2013Updated 12 years ago