adpextwindong

obelisk

RobinsonUnification

A Machine-Orientated Logic Based on the Resolution Principle

SimplSouffleExample

Souffle-Haskell example

SLPJ_READING

RetroMMO-api-hclient

Last-Viewer

VueJS Foot scan and shoe last model viewer built on ThreeJS

liberation

Ozaich

Quest planning for OSRS

SlippiSouffleExample

For MuchoMan. Thank you 'To for helping me make the replay

EyeOfIshap

hcoreutils

RIIHaskell Coreutils

obelisk-tutorial

Tora

adpextwindong

coqfoundations_notes

https://softwarefoundations.cis.upenn.edu/

cuboid

3D puzzle game written in Haskell with Yampa/GLUT

defect-process

Defect Process (2d hack n' slash game) full source code

dotfiles

graphviz-visual-editor

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

haskell_golf

Golfing in Haskell

language-java

Java parser and printer for haskell

loxomotive

loxomotive - A Lox Interpreter implemented in Haskell

okapi

A micro web framework for Haskell based on monadic parsing

Patrus

A punt on Colin's favorite book "Crafting Interpreters" but in Haskell

permadi-ray-cast

Ray casting tutorial demos

rogue-lamb

scikit-surprise-nix-build

example for building scikit-surprise 1.1.1

Stra74

Continuation Passing Style Interpreter for the language described in "Continuations, a mathematical semantics for handling full jumps."

TIOFPL

The Implementation of Functional Programming Languages typeset in LaTeX

TreadMarks

Port of Tread Marks (Battle Tank Racing) on Pandora and Linux. Status: Working