scotek

GitHub is not a CV; other public and private git hosts do exist and not all code can be shared!

Pinned Repositories

citest
Language:Shell0 1 00
GameArena
A simple OO 2D graphics package for teaching Java porgramming
Language:Java0 0 00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00
idris-json-decode
Turn JSON values into Idris values
Language:Idris0 0 00
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Language:Emacs Lisp00
Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
JSFML
⛔️ DEPRECATED: No longer maintained!
Language:C++20
JSFMLBoringGame
A very, very boring game that can test JSFML is working correctly.
Language:Java0 1 00
MySlither
A Java implementation of the slither.io client.
Language:Java2 0 047
NetHack-Android
Android port of NetHack
Language:C0 1 00

scotek's Repositories

scotek/JSFML
⛔️ DEPRECATED: No longer maintained!
Language:C++20
scotek/MySlither
A Java implementation of the slither.io client.
Language:Java2 0 047
scotek/citest
Language:Shell0 1 00
scotek/GameArena
A simple OO 2D graphics package for teaching Java porgramming
Language:Java0 0 00
scotek/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00
scotek/idris-json-decode
Turn JSON values into Idris values
Language:Idris0 0 00
scotek/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Language:Emacs Lisp00
scotek/Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
scotek/JSFMLBoringGame
A very, very boring game that can test JSFML is working correctly.
Language:Java0 1 00
scotek/NetHack-Android
Android port of NetHack
Language:C0 1 00
scotek/opendylan
Open Dylan compiler and IDE
Language:Dylan1 0
scotek/SPLV20
SPLV20 course notes
Language:Idris0 0
scotek/stayathome
Stay at Home Activities for UG Students
Language:Shell0 0