Pinned Repositories
compiler-2
Compiler 2 electric boogaloo, category theory edition
doublecatrel
hs-callbypushvalue
Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
jsystemf
Just a little toy System F interpreter, doesn't even have proper generics yet.
prologish
rust-xcb
Rust bindings and wrapper for XCB.
mstewartgallus's Repositories
mstewartgallus/hs-callbypushvalue
Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
mstewartgallus/jsystemf
Just a little toy System F interpreter, doesn't even have proper generics yet.
mstewartgallus/prologish
mstewartgallus/compiler-2
Compiler 2 electric boogaloo, category theory edition
mstewartgallus/doublecatrel
mstewartgallus/cesk-machine
cesk cbpv machine
mstewartgallus/mstewartgallus.github.io
My blog where I post bizarre poetry
mstewartgallus/stacklock
mstewartgallus/categorical
mstewartgallus/category-fun
mstewartgallus/coc-makam
Calculus of constructions in Makam
mstewartgallus/heaps
A small prototype project for heaps in java
mstewartgallus/peacod
mstewartgallus/catala
Programming language for literate programming law specification
mstewartgallus/ceskytime
Messing around with CESK machines and State monad stuff for fun
mstewartgallus/coap
mstewartgallus/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mstewartgallus/experimenting-with-coq
mstewartgallus/gatsby-experiment
experimenting if I can move my blog to gatsby
mstewartgallus/gatsby-navigation-api
mstewartgallus/graal
GraalVM: Run Programs Faster Anywhere :rocket:
mstewartgallus/linted
mstewartgallus/moby
Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
mstewartgallus/mstewartgallus
My portfolio
mstewartgallus/playground
mstewartgallus/scrollto-slow
mstewartgallus/signal-threads
mstewartgallus/swym
Efficient transactional memory in rust.
mstewartgallus/tagless-final-cbpv
mstewartgallus/truffleruby
A high performance implementation of the Ruby programming language. Built on the GraalVM by Oracle Labs.