Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
michael / leanshot
Rust 0 1
Screenshot utility for Linux
Updated 2023-01-31 19:17:15 +00:00
proglangs / bidir
Rust 0 0
An implementation of bidirectional type checking for a SystemF-like language
Updated 2024-04-21 23:50:52 +00:00
michael / aoc2022
Python 0 0
Updated 2023-01-01 18:45:49 +00:00
michael / grub-fork
Clojure 0 0
Forked from https://github.com/hoodunit/grub
Updated 2021-08-11 15:30:39 +00:00
school / type-theory
Agda 0 0
Type theory with Agda
Updated 2024-04-22 07:20:44 +00:00
O / O
HTML 0 0
Updated 2024-04-24 05:04:31 +00:00
michael / popl-paper-ocaml
OCaml 0 0
Updated 2024-04-23 03:27:51 +00:00
michael / enterprise-presentation
TeX 0 0
Updated 2021-08-03 06:43:53 +00:00
michael / _cargo-index
0 0
Updated 2024-04-20 23:34:08 +00:00
school / csci8980-f23
Rust 0 0
CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)
Updated 2024-01-26 20:36:33 +00:00
michael / cinny
JavaScript 0 0
Fork of Cinny
cinny cinnyapp client hacktoberfest matrix matrix-org reactjs
Updated 2023-04-05 14:27:00 +00:00
michael / really-big-primes
Rust 0 0
Updated 2023-10-26 22:23:32 +00:00
school / csci5271
C 0 0
CSCI 5271 (2017F): Intro to Computer Security
Updated 2023-05-16 14:20:52 +00:00
michael / graveyard
Rust 0 0
Updated 2022-05-09 16:58:21 +00:00
michael / pfpl-structural-editor
0 0
Updated 2024-04-22 07:21:54 +00:00
school / web-api-manager
JavaScript 0 0
Updated 2021-08-09 08:02:33 +00:00
michael / abs-cfr
Rust 0 0
Updated 2020-12-10 06:32:00 +00:00
michael / multiclip
Makefile 0 0
Select multiple clipboard targets using ableC
Updated 2020-11-02 20:32:34 +00:00
michael / fedhub
Rust 0 0
Updated 2021-01-09 17:27:06 +00:00
michael / localwaka
Python 0 0
Local server for wakatime, statistics for coding activity
Updated 2020-12-21 20:08:38 +00:00