jarlg Goto Github PK

b-gjengen

central-types

Formalization of the paper "Central H-spaces and banded types"

elm-usermedia

wrapper of getUserMedia for Elm

fall2018

Exercise code for the exercises fall 2018

graphesizer

graphs as a musical instrument

hott

Homotopy type theory

jekyll-now

Build a Jekyll blog in minutes, without touching the command line.

lambdacoin

A concrete introduction to Haskell (heavily inspired by http://www.michaelburge.us/2017/08/17/rolling-your-own-blockchain.html)

lookmanohands

Handsfree scrolling extension for Chrome made at LauzHack '16

melatonin

Melatonin, an F.lux-like extension for Chrome, intended for Chromebooks

mixual-web

web demo of mixual, made for hackzurich

monadic-parser-combinators

For a presentation at UiT, March 5th 2024.

pandoc

Universal markup converter

rasa

Extremely modular text editor built in Haskell

solarized-crosh

The Solarized colorscheme for crosh (chrome shell) on ChromeOS

soundcloud-python

A Python wrapper around the Soundcloud API

sun-altitude.js

calculate sun altitude (angle over horizon) given date and geolocation

tma4315

R code repository for TMA4315 Generalized Linear Models at NTNU

tma4315h2017

NTNU course TMA4315 Generalized linear models for the autumn 2017 semester

underline.js

let's you easily create fancy underlines that don't go under characters like y, g and j (for aesthetic purposes)

yi

The Haskell-Scriptable Editor

yoneda-ext

A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT