Pinned Repositories
8var
ahmaths
A revision website for the Scottish Advanced Higher Mathematics course
ahmaths-old
cst-ppq-tracker
Past paper question tracker for the Cambridge Computer Science Tripos Part IB
dijkstroute
An implementation of Dijkstra's algorithm to find a route from the start point to the end point of a maze, or the shortest such route if multiple exist.
earley-parser
An implementation of the Earley parser algorithm in TypeScript and in Python
image-compressor
An image compressor written in C which can easily be extended to add additional compression algorithms
maths-problems
Collections of interesting maths problems from various sources, and some original ones
sequent-calculus-theorem-prover
A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml
ts-register-machine
sbneelu's Repositories
sbneelu/maths-problems
Collections of interesting maths problems from various sources, and some original ones
sbneelu/cst-ppq-tracker
Past paper question tracker for the Cambridge Computer Science Tripos Part IB
sbneelu/8var
sbneelu/ahmaths
A revision website for the Scottish Advanced Higher Mathematics course
sbneelu/ahmaths-old
sbneelu/dijkstroute
An implementation of Dijkstra's algorithm to find a route from the start point to the end point of a maze, or the shortest such route if multiple exist.
sbneelu/earley-parser
An implementation of the Earley parser algorithm in TypeScript and in Python
sbneelu/image-compressor
An image compressor written in C which can easily be extended to add additional compression algorithms
sbneelu/register-machine
An implementation of a register machine with three instructions: increment, decrement, and halt
sbneelu/sequent-calculus-theorem-prover
A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml
sbneelu/emojichat
sbneelu/equation-solver
sbneelu/jghsdofe
sbneelu/NeeluLib
A JavaScript library
sbneelu/nShell
Shell in HTML, CSS, and JavaScript
sbneelu/nurl
sbneelu/recolour-image