Repositories
40
 Projects Packages Public activity Starred repositories
Filter
Sort
PureMagic
Rust 0 0
Updated 2026-11-11 18:05:56 -08:00
dotfiles
Shell 0 0
Updated 2026-11-04 11:12:12 -08:00
people-of-programming
Makefile 0 0
Updated 2026-10-23 12:10:20 -07:00
cal-webring
TypeScript 0 0
Updated 2026-08-11 05:04:54 -07:00
microegg_rs
Rust 0 0
Updated 2026-07-20 15:59:21 -07:00
fishtrackted
Shell 0 0
Updated 2026-05-15 15:52:57 -07:00
apollo
JavaScript 0 0
Updated 2026-05-11 21:17:06 -07:00
luasnip-latex-snippets.nvim
Lua 0 0
Updated 2026-04-25 16:36:33 -07:00
Quasar
OpenQASM 0 0
Updated 2026-04-21 21:32:03 -07:00
llvm-project
LLVM 0 0
Updated 2026-04-12 08:05:27 -07:00
guoq
OpenQASM 0 0
Updated 2026-02-21 09:13:38 -08:00
cslib
Lean 0 0
Updated 2026-01-21 19:15:07 -08:00
verified-CDCL-datastructures
Lean 0 0
Updated 2025-12-22 08:14:56 -08:00
verif-randomized-maxcut
Lean 0 0
Updated 2025-12-19 21:10:00 -08:00
qrat-lean
Lean 0 0
Updated 2025-09-11 03:52:49 -07:00