Pinned Repositories
Coq-HoTT
A Coq library for Homotopy Type Theory
central-types
Formalization of the paper "Central H-spaces and banded types"
graphesizer
graphs as a musical instrument
melatonin
Melatonin, an F.lux-like extension for Chrome, intended for Chromebooks
solarized-crosh
The Solarized colorscheme for crosh (chrome shell) on ChromeOS
Yoneda-Ext
A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT
pandoc
Universal markup converter
HoTTEST-Summer-School
HoTTEST Summer School materials
nixpkgs
Nix Packages collection & NixOS
jarlg's Repositories
jarlg/solarized-crosh
The Solarized colorscheme for crosh (chrome shell) on ChromeOS
jarlg/melatonin
Melatonin, an F.lux-like extension for Chrome, intended for Chromebooks
jarlg/Yoneda-Ext
A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT
jarlg/central-types
Formalization of the paper "Central H-spaces and banded types"
jarlg/graphesizer
graphs as a musical instrument
jarlg/lookmanohands
Handsfree scrolling extension for Chrome made at LauzHack '16
jarlg/monadic-parser-combinators
For a presentation at UiT, March 5th 2024.
jarlg/sun-altitude.js
calculate sun altitude (angle over horizon) given date and geolocation
jarlg/lambdacoin
A concrete introduction to Haskell (heavily inspired by http://www.michaelburge.us/2017/08/17/rolling-your-own-blockchain.html)
jarlg/TMA4315
R code repository for TMA4315 Generalized Linear Models at NTNU
jarlg/B-Gjengen
jarlg/elm-usermedia
wrapper of getUserMedia for Elm
jarlg/fall2018
Exercise code for the exercises fall 2018
jarlg/HoTT
Homotopy type theory
jarlg/jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
jarlg/Mixual-web
web demo of mixual, made for hackzurich
jarlg/pandoc
Universal markup converter
jarlg/rasa
Extremely modular text editor built in Haskell
jarlg/soundcloud-python
A Python wrapper around the Soundcloud API
jarlg/TMA4315H2017
NTNU course TMA4315 Generalized linear models for the autumn 2017 semester
jarlg/underline.js
let's you easily create fancy underlines that don't go under characters like y, g and j (for aesthetic purposes)
jarlg/yi
The Haskell-Scriptable Editor