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
Language:Haskell4 4 150
comp-302-review
Review problems for COMP 302
Language:OCaml17 5 325
dotfiles
Collected dotfiles and other scripts.
Language:GDB8 3 32
eval
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
Language:OCaml10 2 00
hacksignal
Hackathon mentor dispatching platform as a service.
Language:Python7 5 191
jerrington.me
Blog & personal website
Language:Idris18 4 114
servant-github-webhook
Servant combinators for writing secure GitHub webhooks
Language:Haskell17 5 911
tetrefis
Tetris as an EFI application
Language:C53 3 21
tpb
"tsani's pushbullet client"
Language:Haskell4 3 60
typarsec
Type-level parser combinators
Language:Haskell9 4 00

tsani's Repositories

tsani/tetrefis
Tetris as an EFI application
Language:C53 3 21
tsani/jerrington.me
Blog & personal website
Language:Idris18 4 114
tsani/comp-302-review
Review problems for COMP 302
Language:OCaml17 5 325
tsani/servant-github-webhook
Servant combinators for writing secure GitHub webhooks
Language:Haskell17 5 911
tsani/eval
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
Language:OCaml10 2 00
tsani/typarsec
Type-level parser combinators
Language:Haskell9 4 00
tsani/dotfiles
Collected dotfiles and other scripts.
Language:GDB8 3 32
tsani/apollo
HTTP MPD integration for Labcoders Radio
Language:Haskell4 4 150
tsani/tpb
"tsani's pushbullet client"
Language:Haskell4 3 60
tsani/fancylojban
Lojban the dependently typed functional programming language
Language:Haskell3 4 0
tsani/apollo-extension
Browser extension for Apollo
Language:TypeScript1 4 0
tsani/cv
My cv.
Language:TeX1 3 0
tsani/lcr
Listen to http://radio.labcoders.club
Language:TypeScript1 3 0
tsani/aoc
Advent of code 2019 in Haskell
Language:Haskell3 0
tsani/autobest
I wanna be the very best, like no one ever was
Language:Python3 0
tsani/cw-ml-labs
Labs for Computing Workshop ML
Language:Python2 0
tsani/dommy-nommy
Dominate your nom-nom planning
Language:TypeScript3 0
tsani/factorio
Factorio Planner
Language:OCaml2 0
tsani/factorio-todo-list
A distributed todo list mod for Factorio
Language:Lua2 0
tsani/idris-messing-around
Language:Agda3 0
tsani/interleave-it
A CLI and HTTP API for interleaving PDF files
Language:Python2 0
tsani/learn-ocaml
A Web Application for Learning OCaml
Language:JavaScript1 0
tsani/leetcode
Language:Python2 0
tsani/libt
An opinionated suite of ComputerCraft libraries and tools
Language:Lua4 9
tsani/lsp-haskell
lsp-mode :heart: haskell
Language:Emacs Lisp2 0
tsani/macro-traco
A web application for tracking nutrition
Language:TypeScript3 6
tsani/msc
My masters thesis
Language:TeX3 0
tsani/pdfslice
Make cutting pdfs slightly less miserable
Language:Python2 0
tsani/tanks
Language:C#3 0
tsani/tput-servant
A trivial file upload service
Language:Haskell4 31