scotek

Paul Dempster's repositories

⛔️ DEPRECATED: No longer maintained!

Language:C++NOASSERTION200

A Java implementation of the slither.io client.

Language:JavaGPL-3.0200

Language:Shell010

A simple OO 2D graphics package for teaching Java porgramming

Language:Java000

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION000

Turn JSON values into Idris values

Language:IdrisUnlicense000

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Language:Emacs LispGPL-3.0000

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

A very, very boring game that can test JSFML is working correctly.

Language:Java000

Android port of NetHack

Language:C000

Open Dylan compiler and IDE

Language:DylanNOASSERTION000

SPLV20 course notes

Language:Idris000

Stay at Home Activities for UG Students

Language:ShellGPL-2.0000