JKTKops's repositories
Write-You-a-Haskell-2
A continuation of Stephen Diehl's Write You a Haskell
ProtoHaskell
Running source repo for the ProtoHaskell 'toy' compiler. Freezes of each chapter are in the WYAH2 repo.
Haskell-Tutorials
Planning and Code for the Practical- and Theoretical- Approach to Haskell Tutorial Series
Functional-Programming-Examples
Code examples to go along with the 2019 SAIL@UIUC course "Intro to Functional Programming."
JKTKops.github.io
Max Kopinsky's Personal Website
unlambda-compilers
Explorations of Compiling Unlambda
answerable
Powerful solution-based tester for small Java or Kotlin problems.
codeProperty
Determine if given Haskell code makes certain kinds of recursive calls.
5Head
A starting point framework for computational exploration of the game 5D Chess With Multiverse Time Travel
CoreCompilers
Working through Simon Peyton Jones' and David R Lester's "Implementing Function Languages: a tutorial"
Enki
A beginner-focused logic programming language.
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
learn-ocaml
A Web Application for Learning OCaml
nanopass-experiments
Experimenting with Typed Nanopass Framework ideas in Haskell
pipes-ghc-events
Compositional pipelines for parsing .eventlog files
r7rs-parser
Experimental R7RS Scheme parser for Haskell written with Alex and Happy
RouteChecker
A Route Checker for Breath of the Wild 100% Speedrunning
SampleKotlinApp
Simple Android app to demonstrate Kotlin for UIUC CS 125.
SIGPLAN-workshops
Source code for SIGPLAN@UIUC workshops, Spring 2021
SudokuSolver
Yet Another Sudoku Solver. Implemented in Haskell.