alexj136 Goto Github PK

abstract-interpreter

A simple abstract interpreter for a goto-based imperative toy language

akka-pi

Playing with scala concurrency by implementing the pi calculus concurrently in akka.

alexj136.github.io

The source for my blog.

brainhask

Brainf**k in Haskell

cheskell

Chess in Haskell.

chess

A chess implementation in Java

collatz

Drawing Collatz graphs with Java and Graphviz

data-exercise

An interview exercise for unspecified company X

dif

LaTeX source for the paper 'Dependent Object Types with Implicit Functions', published in the proceedings of the Scala '19 ECOOP Workshop

dotfiles

My configuration files

dotty-resolve-test

Testing if the Dotty Scala compiler resolves ambiguity as the 2018 POPL paper "Simplicitly" says it does.

example-assembler

Some example assembler code (x86/GAS) from when I was learning assembler

example-c

Some example C code from when I was learning C

fyp

Undergraduate project & dissertation

golfasm

GolfASM is an esoteric language inspired by assembly, brainf**k and code golf languages.

grid-game

A game where you have to step on every cell of a grid exactly once, inspired by the puzzle from the Zelda games

gvcalc

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

hierarchies

A tool for generating Java AST classes

hlab

High Level Ant Brain

hwhile

An interpreter for the While language written in Haskell

implicia

implicits

An implementation of the calculus in the 2017 paper: Foundations of Implicit Function Types - Odersky et al

japi

A Java implementation of the pi calculus

jflexandcupwithscala

An example Lexer & Parser in JFlex & CUP (Java Lexer & Parser Generators) with Scala Datatypes

jra

The code from my Junior Research Assoicate (JRA) project in which I attempted to write a small JIT compiler in 8 weeks with very basic compiler knowledge

lecno

Undergraduate Lecture Notes

mattparkersmathspuzzles

Solutions to Matt Parker's Maths Puzzles https://www.think-maths.co.uk/maths-puzzles

milnertrans

A call-by-value Milner translation.

minijit

A mini jit compiler for a while language, written in C, targetting x86_64 GNU/Linux

monty-hall

A simulation of the Monty Hall problem in Python