An implementation of the Lox language in Racket.
☆37Oct 28, 2023Updated 2 years ago
Alternatives and similar repositories for racket-lox
Users that are interested in racket-lox are comparing it to the libraries listed below
Sorting:
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- A Kafka client for Racket.☆18Aug 4, 2025Updated 7 months ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 7 months ago
- ☆13Sep 5, 2024Updated last year
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- Forth emulator, as a Racket #lang☆21Feb 20, 2023Updated 3 years ago
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- ☆15Jun 26, 2019Updated 6 years ago
- A simple Racket package to display text tables with utf-8 boxes☆12Jun 28, 2023Updated 2 years ago
- Racket Machine Learning☆14Jun 18, 2024Updated last year
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 4 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Jan 6, 2024Updated 2 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- Privacy focused website analytics.☆37May 9, 2021Updated 4 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Jan 31, 2021Updated 5 years ago
- A #lang implementation of Lua 5.4 for Racket.☆58Oct 25, 2025Updated 4 months ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Declarative GUIs in Racket.☆152Feb 8, 2026Updated last month
- cli-command template☆19Sep 18, 2024Updated last year
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- ☆18Nov 23, 2021Updated 4 years ago
- ☆19Mar 10, 2023Updated 2 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- Easy scripting for DrRacket☆18Feb 21, 2026Updated 2 weeks ago
- The GRAphical Scheme Programming Environment☆50Dec 11, 2025Updated 2 months ago