ionathanch/scraps ionathanch/scraps

  • Stars
    star
    7
  • Rank 2,251,948 (Top 46 %)
  • Language Agda
  • Created over 3 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ionathanch/scraps
github

ionathanch

Reviews

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

Repository Details

Various mechanized proof files for fun.

More Repositories

1

system-f-redex

Church-style System F with definitions in Redex.
Racket
7
star
2

ttzoo

Notes on type theory.
TeX
3
star
3

ssh-keygen-ed25519-vanity

Generate a vanity EdDSA SSH key for fun.
C
3
star
4

cwf-notes

Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
TeX
3
star
5

github-scripts

A collection of Racket scripts for manipulating student repositories on GitHub as course staff.
Racket
2
star
6

impressions

The Impressions File-System Image Generator from "Generating Realistic Impressions for File-System Benchmarking" (Agrawal 2009), now with bugs fixed.
C++
2
star
7

HoTT-Idris

Some HoTT in Idris.
Idris
2
star
8

ECC

Various woefully incomplete mechanizations of Luo's Extended Calculus of Constructions.
Idris
1
star
9

adventofcode-2020

Solutions for https://adventofcode.com/2020/.
Racket
1
star
10

PHYS319

Files used for PHYS 319, WT2 2018
Assembly
1
star
11

adventofcode-2021

Solutions for https://adventofcode.com/2021/.
Racket
1
star
12

QUOZ

Android app for generating random pastel colours. Also it's pronounced like "kwots".
Kotlin
1
star
13

TT-model

Agda
1
star