Beast code in Giters

krkx's repositories

ECMAScript back end for Functional Reactive Programming in Agda

Language:JavaScriptNOASSERTION1 20

My Agda code for Homotopy Type Theory

NOASSERTION1 20

Learn you an Agda (and achieve enlightenment)

Language:Haskell1 20

A Q connection library for Python

Language:PythonMIT1 20

Q Utilities

MIT1 20

Farbrausch demo tools 2001-2011

Language:C++000

The Realm of Rough Telepathy

Language:JavaScript000

Configuration utility for LSI host board adapters

Language:C000

Language:JuliaMIT000

010

Sheehan Olver's lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College

Language:TeXMIT000