Pinned Repositories
fyp
Undergraduate project & dissertation
GolfASM
GolfASM is an esoteric language inspired by assembly, brainf**k and code golf languages.
gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
HWhile
An interpreter for the While language written in Haskell
minijit
A mini jit compiler for a while language, written in C, targetting x86_64 GNU/Linux
NeuralNet
A neural network implementation in Python for an undergraduate machine learning module
nodes
An interpreter for a pi-calculus based programming language written in scala
pi
The π-calculus in Haskell.
robin
My hobby programming language project
RPSLS
Rock Paper Scissors Lizard Spock in Scala/Akka/Play - interview exercise
alexj136's Repositories
alexj136/HWhile
An interpreter for the While language written in Haskell
alexj136/GolfASM
GolfASM is an esoteric language inspired by assembly, brainf**k and code golf languages.
alexj136/nodes
An interpreter for a pi-calculus based programming language written in scala
alexj136/pi
The π-calculus in Haskell.
alexj136/RPSLS
Rock Paper Scissors Lizard Spock in Scala/Akka/Play - interview exercise
alexj136/NeuralNet
A neural network implementation in Python for an undergraduate machine learning module
alexj136/robin
My hobby programming language project
alexj136/alexj136.github.io
The source for my blog.
alexj136/cheskell
Chess in Haskell.
alexj136/chess
A chess implementation in Java
alexj136/collatz
Drawing Collatz graphs with Java and Graphviz
alexj136/data-exercise
An interview exercise for unspecified company X
alexj136/dif
LaTeX source for the paper 'Dependent Object Types with Implicit Functions', published in the proceedings of the Scala '19 ECOOP Workshop
alexj136/dotfiles
My configuration files
alexj136/dotty-resolve-test
Testing if the Dotty Scala compiler resolves ambiguity as the 2018 POPL paper "Simplicitly" says it does.
alexj136/Example-Assembler
Some example assembler code (x86/GAS) from when I was learning assembler
alexj136/Example-C
Some example C code from when I was learning C
alexj136/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
alexj136/hierarchies
A tool for generating Java AST classes
alexj136/HLAB
High Level Ant Brain
alexj136/implicia
alexj136/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
alexj136/LecNo
Undergraduate Lecture Notes
alexj136/MattParkersMathsPuzzles
Solutions to Matt Parker's Maths Puzzles https://www.think-maths.co.uk/maths-puzzles
alexj136/MilnerTrans
A call-by-value Milner translation.
alexj136/monty-hall
A simulation of the Monty Hall problem in Python
alexj136/Networks-CW
Coursework for the Networks module on my undergraduate CS degree
alexj136/nqueens
An implementation of a variant of the N-Queens problem
alexj136/preppy
A compiler I wrote as job interview preparation.
alexj136/TicketToRidePath
Calculate the length of your longest path for the 10-point bonus in Ticket To Ride.