Pinned Loading

1. earley-parser earley-parser Public

   An implementation of the Earley parser algorithm in TypeScript and in Python

   TypeScript

2. sequent-calculus-theorem-prover sequent-calculus-theorem-prover Public

   A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml

   OCaml

3. register-machine register-machine Public

   An implementation of a register machine with three instructions: increment, decrement, and halt

   Python 1

4. cst-ppq-tracker cst-ppq-tracker Public

   Past paper question tracker for the Cambridge Computer Science Tripos Part IB

   TypeScript 1

5. ahmaths ahmaths Public

   A revision website for the Scottish Advanced Higher Mathematics course

   Python

6. image-compressor image-compressor Public

   An image compressor written in C which can easily be extended to add additional compression algorithms

   C