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
- 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
- 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 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
- Adaptator between Stream/Sink and AsyncRead/AsyncWrite☆12Feb 5, 2022Updated 4 years ago
- ☆12Dec 16, 2024Updated last year
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 8 years 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
- Monkey language implemented with rust☆41Dec 9, 2021Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆45May 1, 2025Updated 9 months ago
- ☆10Jul 29, 2024Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- ☆11Feb 15, 2022Updated 4 years 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
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- A version-agnostic ghidra plugin for de-compiling Qualcomm Hexagon QDSP6☆25Updated this week
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- A broken problem☆22Jan 17, 2026Updated last month
- Tiny immediate-mode UI library☆11Jun 8, 2019Updated 6 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- ☆15Aug 24, 2019Updated 6 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 10 months ago