alexj136 Goto Github PK
Name: Alex Jeffery
Type: User
Location: Sussex, United Kingdom
Name: Alex Jeffery
Type: User
Location: Sussex, United Kingdom
A simple abstract interpreter for a goto-based imperative toy language
Playing with scala concurrency by implementing the pi calculus concurrently in akka.
The source for my blog.
Brainf**k in Haskell
Chess in Haskell.
A chess implementation in Java
Drawing Collatz graphs with Java and Graphviz
An interview exercise for unspecified company X
LaTeX source for the paper 'Dependent Object Types with Implicit Functions', published in the proceedings of the Scala '19 ECOOP Workshop
My configuration files
Testing if the Dotty Scala compiler resolves ambiguity as the 2018 POPL paper "Simplicitly" says it does.
Some example assembler code (x86/GAS) from when I was learning assembler
Some example C code from when I was learning C
Undergraduate project & dissertation
GolfASM is an esoteric language inspired by assembly, brainf**k and code golf languages.
A game where you have to step on every cell of a grid exactly once, inspired by the puzzle from the Zelda games
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
A tool for generating Java AST classes
High Level Ant Brain
An interpreter for the While language written in Haskell
An implementation of the calculus in the 2017 paper: Foundations of Implicit Function Types - Odersky et al
A Java implementation of the pi calculus
An example Lexer & Parser in JFlex & CUP (Java Lexer & Parser Generators) with Scala Datatypes
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
Undergraduate Lecture Notes
Solutions to Matt Parker's Maths Puzzles https://www.think-maths.co.uk/maths-puzzles
A call-by-value Milner translation.
A mini jit compiler for a while language, written in C, targetting x86_64 GNU/Linux
A simulation of the Monty Hall problem in Python
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.