loxomotive - A Lox Interpreter implemented in Haskell
☆17Jan 8, 2022Updated 4 years ago
Alternatives and similar repositories for loxomotive
Users that are interested in loxomotive are comparing it to the libraries listed below
Sorting:
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Implementation of the Lox language in OCaml☆15Mar 26, 2020Updated 5 years ago
- Yet Another Lox Interpreter. Yet Another Lox Interpreter. Javascript Implementation. A Parser, Interpreter, REPL, Code Formatter and Tran…☆20Jul 8, 2023Updated 2 years ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- exercises for the book - the little typer☆21May 15, 2025Updated 9 months ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- An interpreter for Monkey with parser combinator written in Haskell☆50Aug 26, 2019Updated 6 years ago
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- Notes on higher-order typed compilation. Probably wrong☆23Oct 20, 2022Updated 3 years ago
- phantom types☆39Jan 3, 2026Updated 2 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55May 28, 2020Updated 5 years ago
- Compiler project for Dave Beazley' Wabbit Language☆28Apr 24, 2022Updated 3 years ago
- Wolfenstein 3D style game engine implemented in haskell☆29Mar 1, 2020Updated 6 years ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Dec 8, 2024Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- ☆12Dec 16, 2024Updated last year
- Adaptator between Stream/Sink and AsyncRead/AsyncWrite☆12Feb 5, 2022Updated 4 years ago
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- Java implementation of the Louvain method of community detection in graphs☆11Dec 19, 2025Updated 2 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆164Nov 29, 2020Updated 5 years ago
- Learn Lean 4 with PLFA proofs.☆106Apr 8, 2025Updated 11 months ago
- Types and Programming Languages☆37Aug 11, 2014Updated 11 years ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 2 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Cardinal is a CLI tool that helps you quickstart a full-stack monorepo project. You choose the parts you want, we put it together.☆10Aug 3, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- ☆15Aug 24, 2019Updated 6 years ago
- Tiny immediate-mode UI library☆11Jun 8, 2019Updated 6 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Provides Lock and RwLock synchronization primitives.☆15Dec 9, 2024Updated last year
- ☆10Jul 29, 2024Updated last year