Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
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
school / coursera-recommender-systems
Java 0 0
Updated 2022-05-15 06:31:23 +00:00
michael / zhao
Vue 0 0
Zhao Peng You, Chinese Trick-Taking Card Game
Updated 2021-01-14 20:09:13 +00:00
michael / ouichat
Rust 0 0
Updated 2020-11-18 05:17:59 +00:00
proglangs / logical-foundations
Coq 0 0
Working through the book Logical Foundations by Ben Pierce
Updated 2020-10-21 22:16:31 +00:00
michael / panorama2
Rust 0 0
Updated 2024-02-08 06:03:39 +00:00
michael / blog
SCSS 0 0
Personal blog
Updated 2024-05-03 21:08:58 +00:00
experiment / coq-ssh
OCaml 0 0
SSH implementation with properties in Coq
Updated 2021-07-13 19:24:08 +00:00
michael / shitter
Nix 0 0
Updated 2021-08-03 21:58:14 +00:00
michael / emu
Rust 0 0
Updated 2020-12-12 10:08:54 +00:00
edu / edu
Python 0 0
Updated 2020-12-01 20:51:18 +00:00
michael / dip
Rust 0 0
Updated 2020-11-03 01:57:35 +00:00
mail / simp
Rust 0 0
"simp"le mail server
Updated 2020-11-17 08:46:16 +00:00
proglangs / capgen
Rust 0 0
Context-aware parser generator
Updated 2022-05-09 17:10:27 +00:00
easyctf / easyctf-2017
Python 0 0
Updated 2021-08-09 08:06:59 +00:00
michael / nix-stuff
Nix 0 0
Updated 2021-09-01 20:56:09 +00:00
michael / imap-proto
Rust 0 0
Fork of https://github.com/djc/tokio-imap
Updated 2021-08-06 17:03:11 +00:00
michael / pfpl
Nix 0 0
Updated 2024-05-01 06:06:46 +00:00