tsani
Faculty Lecturer in CS. Purely functional. (Some conditions apply. See details in store.)
School of Computer Science, McGill UniversityMontreal
Pinned Repositories
apollo
HTTP MPD integration for Labcoders Radio
comp-302-review
Review problems for COMP 302
dotfiles
Collected dotfiles and other scripts.
eval
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
hacksignal
Hackathon mentor dispatching platform as a service.
jerrington.me
Blog & personal website
servant-github-webhook
Servant combinators for writing secure GitHub webhooks
tetrefis
Tetris as an EFI application
tpb
"tsani's pushbullet client"
typarsec
Type-level parser combinators
tsani's Repositories
tsani/typarsec
Type-level parser combinators
tsani/pushbullet-hs
Pushbullet types and API client in Haskell
tsani/chrona
Chrona is a high-level functional reactive programming language
tsani/game-clones-cpp
Clones of various games in C++.
tsani/iCalendar
iCalendar data types, parser, and printer.
tsani/Idris-dev
A Dependently Typed Functional Programming Language
tsani/p3s
A sound synthesis library in Haskell
tsani/school-build
A simple make-based continuous integration server in Haskell
tsani/thicc
The Haskell Implemented Cluster Controller
tsani/2048-idr
A 2048 clone in Idris
tsani/autobest
I wanna be the very best, like no one ever was
tsani/blue-booklet-info
tsani/citysim
tsani/cspogil
POGIL activities for computer science
tsani/docker-hs
A Haskell library for the Docker Engine API
tsani/goto
Compiling GoLite considered harmful
tsani/illuminati-confirmed
Confirming the Existence of the Illuminati Since 2015
tsani/imgurscript
Command-line tool for using the imgur API
tsani/irc-core
Haskell IRC library and console client - Join us on Freenode #haskell-irc
tsani/k-chat-example
A super basic chat application written in K
tsani/mcallister
tsani/mutt-ical
Script to support answering ical invitations from mutt
tsani/nirc
A webservice for instant messaging notifications
tsani/scavenger-hunt
tsani/sixteen-fifty
A game about being a coureur des bois in ~1650s Quebec
tsani/smsync-server
SMS replication server
tsani/stackage
"Stable Hackage": vetted consistent packages from Hackage
tsani/tedris
tsani/tikz-art
Some artwork made in TikZ
tsani/tortoise
A PRISM code generator and frontend for generating models of distributable probabilistic tasks.