Kha/HoTT-book-agda Kha/HoTT-book-agda

  • Stars
    star
    4
  • Rank 3,242,738 (Top 66 %)
  • Language Agda
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kha/HoTT-book-agda
github

Kha

Reviews

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

Repository Details

Agda proofs of the HoTT book exercises

More Repositories

1

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)
Lean
323
star
2

Bartizan

Mod Framework for TowerFall Ascension
C#
56
star
3

nixprof

A Nix build graph profiler
Python
27
star
4

nale

Nix + Lean = Nale
C++
11
star
5

do-supplement

Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
Lean
10
star
6

macro-supplement

Supplemental material for the "Beyond Notations" paper
Lean
8
star
7

masters-thesis

TeX
7
star
8

semantics-lean

Lean
3
star
9

aoc-2022

aoc-2022
Lean
3
star
10

aoc-2021

not meant as an instruction manual
Lean
3
star
11

err-sedbot

errbot plugin for executing simple sed substitute commands
Python
2
star
12

i3lock

C
2
star
13

dotfiles

.config/
Nix
2
star
14

nusski-replayer

Ein Replay-Viewer für das April-2011-Turnier der EE in CoffeeScript
JavaScript
2
star
15

syntax

Lean
1
star
16

err-cah

A Cards Against Humanity bot plugin for err-bot
Python
1
star
17

light-cycle

Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012
CoffeeScript
1
star
18

top-comment-err

errbot plugin that responds to posted links with the respective reddit top comment
Python
1
star
19

etc

/etc files of a Lenovo ThinkPad T430
Shell
1
star
20

nusski-cs-client

Ein C#-Client für das April-2011-Turnier der Entwickler-Ecke
C#
1
star
21

err-babble-bot

Markov chain-based Err plugin for nonsense generation
Python
1
star
22

ca-datastructs

Proseminar about implementing simple data structures in cellular automata
Haskell
1
star
23

Floyd

(Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011
Java
1
star
24

isabelle-zfc

Simplistic Formalization of ZFC in Isabelle
TeX
1
star