ccntrq / loxomotiveView external linksLinks
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
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated 11 months ago
- 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
- Notes on higher-order typed compilation. Probably wrong☆23Oct 20, 2022Updated 3 years ago
- phantom types☆39Jan 3, 2026Updated last month
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55May 28, 2020Updated 5 years ago
- Wolfenstein 3D style game engine implemented in haskell☆29Mar 1, 2020Updated 5 years ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Dec 8, 2024Updated last year
- ☆12Dec 16, 2024Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 8 years ago
- Adaptator between Stream/Sink and AsyncRead/AsyncWrite☆12Feb 5, 2022Updated 4 years ago
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆162Nov 29, 2020Updated 5 years ago
- Learn Lean 4 with PLFA proofs.☆102Apr 8, 2025Updated 10 months ago
- Types and Programming Languages☆37Aug 11, 2014Updated 11 years ago
- Resources for "The Little Typer" study group☆49Mar 19, 2020Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45May 1, 2025Updated 9 months ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- Recreating the Unity Roguelike Tutorial project in Haskell☆40Feb 4, 2025Updated last year
- Slides and sources for talks on Tree Borrows☆14Dec 5, 2025Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 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
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Provides Lock and RwLock synchronization primitives.☆15Dec 9, 2024Updated last year
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- node-pg wrapper for effect-ts☆13Jun 4, 2024Updated last year
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- ☆13Jan 7, 2026Updated last month
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago