Lists (3)
Starred repositories
C Compiler written in Haskell powered by 8cc and ELVM
Software suite for ranking chess positions and accurately estimating the number of legal chess positions
A beautiful, powerful, self-hosted ROM manager and player.
Loading PBM, PGM, PPM image files in pure Haskell
Collection of docs/tools/resources for reverse engineering and working with video game file formats.
🚒 🍳 HelIO - Haskellish Esoteric Library Input Output
Converting images to Heroes of Might and Magic 4 maps.
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
helvm / hs2lazy
Forked from irori/hs2lazyHaskell -> Lazy K translator.
Interpreter for a small subset of the Haskell programming language
Turnstyle is a graphical esoteric programming language based on lambda calculus
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
minimalist pure lazy functional programming language (pythonic haskell)
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.
Modern fork of the Arrow notation preprocessor
Learning Haskell for the first time and using it to write a simple C compiler
Modern Compiler Implementation in ML, in Haskell
Interpreter for Nano (condensed version of Haskell)
MiniHaskell compiler and interpreter with a Lucid-like dataflow IR
Interpreters for lambda calculus, calculus of constructions, and other languages