jarlg/central-types

Stars
3
Rank 3,959,282 (Top 79 %)
Language Coq
Created over 1 year ago
Updated 26 days ago

jarlg/central-types

jarlg

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

solarized-crosh

The Solarized colorscheme for crosh (chrome shell) on ChromeOS

melatonin

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

Yoneda-Ext

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

lookmanohands

Handsfree scrolling extension for Chrome made at LauzHack '16

graphesizer

graphs as a musical instrument

sun-altitude.js

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

lambdacoin

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