tpsinnem

followers

following

stars

Timo Petteri Sinnemäki's repositories

lila

Multiplayer online chess written in scala with akka and play2

Language:ScalaMIT300

scalachess

Chess API written in scala. Immutable and free of side effects.

Language:ScalaMIT300

orientable

Some code for using OrientDB with immutable scala objects -- WORK IN PROGRESS, not usable yet.

200

Stockfish

UCI chess engine

Language:C++GPL-3.02 30

tsynth

Work in progress -- An attempt at a reasonably performant purely functional audio synthesis library in scala

200

fab

An ultimately fruitless attempt at reasonable F-bounded family polymorphism

Language:Scala1 20

shapeless

An exploration of generic/polytypic programming in Scala

Language:ScalaApache-2.01 20

tsoha-ostoskassi

Harjoitustyö: Lentomatkustajan tax-free -ostoskassi

Language:PHP100

atto

friendly little parsers

Language:ScalaMIT000

cubical

Implementation of Univalence in Cubical Sets

Language:HaskellMIT000

hstream-idris

Work in progress: A stream processing library in Idris.

MIT000

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION000

idrisMisc

Miscellaneous Idris code

Language:Idris000

machines

Networks of composable stream transducers

Language:HaskellNOASSERTION000

Malakov

Markov Chains for Scala

Language:ScalaBSD-3-Clause020

nix-alt-vim

Alternative packaging for vim and some plugins. Now just neovim, pathogen and some haskell and idris plugins.

Language:Nix000

nix-priv-sep

A Nixos tool, by a clueless amateur, for possibly slightly less nonexistent privilege separation between various tasks than how I've previously had things set up.

Language:NixBSD-3-Clause000

SDL-idris

SDL bindings package for idris

Language:Idris000

slick-scalaz

scalaz instances for slick

Language:ScalaMIT000