nicomarg

Pinned Repositories

CubicalDk
An implementation of Cubical Type Theory in lambdapi.
00
IntergenerationalEquityResults
Language:TeX00
LiveSplit
A sleek, highly customizable timer for speedrunners.
Language:C#00
LiveSplit.Delta
A LiveSplit Component that displays the current delta to a comparison.
Language:C#00
nicomarg.github.io
Language:HTML00
LiveSplit
A sleek, highly customizable timer for speedrunners.
Language:C#1.6k756
django-formset
The missing widgets and form manipulation library for Django
Language:Python33537
LiveSplit.Delta
A LiveSplit Component that displays the current delta to a comparison.
Language:C#16

nicomarg's Repositories

nicomarg/CubicalDk
An implementation of Cubical Type Theory in lambdapi.
nicomarg/LiveSplit
A sleek, highly customizable timer for speedrunners.
nicomarg/LiveSplit.Delta
A LiveSplit Component that displays the current delta to a comparison.
Language:C#
nicomarg/nicomarg.github.io
Language:HTML
nicomarg/IntergenerationalEquityResults
Language:TeX