ionathanch/PHYS319 ionathanch/PHYS319

  • This repository has been archived on 16/May/2021
  • Stars
    star
    1
  • Language
    Assembly
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ionathanch/PHYS319
github

ionathanch

Reviews

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

Repository Details

Files used for PHYS 319, WT2 2018

More Repositories

1

system-f-redex

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

scraps

Various mechanized proof files for fun.
Agda
7
star
3

ttzoo

Notes on type theory.
TeX
3
star
4

ssh-keygen-ed25519-vanity

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

cwf-notes

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

github-scripts

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

impressions

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

HoTT-Idris

Some HoTT in Idris.
Idris
2
star
9

ECC

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

adventofcode-2020

Solutions for https://adventofcode.com/2020/.
Racket
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