Beast code in Giters

Matthias Hutzler's repositories

grahams-number-in-proof-assistants

Language:Agda5 10

seekers

Language:Python4 5 9

4d-labyrinth

Language:HaskellGPL-3.03 3 1

some-real-analysis-in-agda

Language:Agda3 20

grahams-number-agda

moved here: https://github.com/MatthiasHu/grahams-number-in-proof-assistants

Language:Agda1 20

MarchingTetrahedra

Language:Haskell1 20

number-theory-shooter

Language:JavaScriptGPL-3.01 2 3

PC23-SAG-course

Language:TeX1 10

stupid-tabletop

Language:TypeScript1 20

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.0010

agda

Agda is a dependently typed programming language / interactive theorem prover.

NOASSERTION000

agda-unimath

Univalent mathematics in Agda

Language:AgdaMIT000

boardgame-io-test

Language:TypeScript000

cheap-objectivett-in-agda

Language:Agda010

CL-PC22

Coherent Logic at Proof and Computation, 2022

Language:TeXCC-BY-SA-4.0010

co-op-alien-shooter

Language:Haskell020

cubical

An experimental library for Cubical Agda

Language:AgdaMIT000

escher-droste-torus-twist

Language:Haskell010

FreeBoardGames.org

FOSS platform for publishing boardgame.io games

Language:JavaScriptAGPL-3.0000

hard-puzzle-helper

Language:Haskell020

natural_number_game

Building the natural numbers in Lean.

Apache-2.0000

pedestrians

Language:Haskell000

pitch-spiral

visualize notes in a spiral

Language:HTMLGPL-3.0020

sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

000

stupid-sync

Language:HaskellGPL-3.0000

test-mama-website

Language:HTML020

theHoTTGameGuide

000

thread-painting

Language:JavaScript000

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION000

working-hours

Language:JavaScript010