Pinned Repositories
cspim
A C to MIPS compiler for QtSpim
Darker-Side-Randomizer
Functional-Programming-Examples
Code examples to go along with the 2019 SAIL@UIUC course "Intro to Functional Programming."
Haskell-Tutorials
Planning and Code for the Practical- and Theoretical- Approach to Haskell Tutorial Series
JBGPL-Compiler
JKTKops.github.io
Max Kopinsky's Personal Website
ProtoHaskell
Running source repo for the ProtoHaskell 'toy' compiler. Freezes of each chapter are in the WYAH2 repo.
Thcheme
An interpreter for a subset of Scheme.
unlambda-compilers
Explorations of Compiling Unlambda
Write-You-a-Haskell-2
A continuation of Stephen Diehl's Write You a Haskell
JKTKops's Repositories
JKTKops/Write-You-a-Haskell-2
A continuation of Stephen Diehl's Write You a Haskell
JKTKops/ProtoHaskell
Running source repo for the ProtoHaskell 'toy' compiler. Freezes of each chapter are in the WYAH2 repo.
JKTKops/cspim
A C to MIPS compiler for QtSpim
JKTKops/Thcheme
An interpreter for a subset of Scheme.
JKTKops/Darker-Side-Randomizer
JKTKops/Haskell-Tutorials
Planning and Code for the Practical- and Theoretical- Approach to Haskell Tutorial Series
JKTKops/Functional-Programming-Examples
Code examples to go along with the 2019 SAIL@UIUC course "Intro to Functional Programming."
JKTKops/JKTKops.github.io
Max Kopinsky's Personal Website
JKTKops/unlambda-compilers
Explorations of Compiling Unlambda
JKTKops/answerable
Powerful solution-based tester for small Java or Kotlin problems.
JKTKops/codeProperty
Determine if given Haskell code makes certain kinds of recursive calls.
JKTKops/etca-forth
A bootstrapping Forth for extension-heavy ETCa impls.
JKTKops/tyro
Working on reimplementing Finding Minimum Type Error Sources, Wies et al.
JKTKops/5Head
A starting point framework for computational exploration of the game 5D Chess With Multiverse Time Travel
JKTKops/CoreCompilers
Working through Simon Peyton Jones' and David R Lester's "Implementing Function Languages: a tutorial"
JKTKops/dotfiles
JKTKops/Enki
A beginner-focused logic programming language.
JKTKops/etca-asm
JKTKops/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).
JKTKops/learn-ocaml
A Web Application for Learning OCaml
JKTKops/Lithp
A simple dialect of Lisp written in Java. Contains a parser combinator library.
JKTKops/nanopass-experiments
Experimenting with Typed Nanopass Framework ideas in Haskell
JKTKops/pipes-ghc-events
Compositional pipelines for parsing .eventlog files
JKTKops/r7rs-parser
Experimental R7RS Scheme parser for Haskell written with Alex and Happy
JKTKops/RouteChecker
A Route Checker for Breath of the Wild 100% Speedrunning
JKTKops/SampleKotlinApp
Simple Android app to demonstrate Kotlin for UIUC CS 125.
JKTKops/SIGPLAN-workshops
Source code for SIGPLAN@UIUC workshops, Spring 2021
JKTKops/SudokuSolver
Yet Another Sudoku Solver. Implemented in Haskell.
JKTKops/tinysho
A toy minishogi engine. Not trying to break any ground here.
JKTKops/understanding-k-framework