tpsinnem/cubical
Implementation of Univalence in Cubical Sets
Developer Profile
tpsinnem
Discovered public repositories for tpsinnem in the GitHub catalog.
tpsinnem/idrisMisc
Miscellaneous Idris code
tpsinnem/SDL-idris
SDL bindings package for idris
tpsinnem/Idris-dev
A Dependently Typed Functional Programming Language
tpsinnem/tsynth
Work in progress -- An attempt at a reasonably performant purely functional audio synthesis library in scala
tpsinnem/fab
An ultimately fruitless attempt at reasonable F-bounded family polymorphism
tpsinnem/orientable
Some code for using OrientDB with immutable scala objects -- WORK IN PROGRESS, not usable yet.
tpsinnem/shapeless
An exploration of generic/polytypic programming in Scala
tpsinnem/Stockfish
UCI chess engine
tpsinnem/scalachess
Chess API written in scala. Immutable and free of side effects.
tpsinnem/lila
Multiplayer online chess written in scala with akka and play2
tpsinnem/tsoha-ostoskassi
Harjoitustyö: Lentomatkustajan tax-free -ostoskassi