Repositories Users Organizations
Filter
Sort
abhamra/ PureMagic
Rust 0 0
Updated 2026-11-11 18:05:56 -08:00
abhamra/ dotfiles
Shell 0 0
Updated 2026-11-04 11:12:12 -08:00
abhamra/ people-of-programming
Makefile 0 0
Updated 2026-10-23 12:10:20 -07:00
abhamra/ cal-webring
TypeScript 0 0
Updated 2026-08-11 05:04:54 -07:00
abhamra/ microegg_rs
Rust 0 0
Updated 2026-07-20 15:59:21 -07:00
abhamra/ fishtrackted
Shell 0 0
Updated 2026-05-15 15:52:57 -07:00
abhamra/ apollo
JavaScript 0 0
Updated 2026-05-11 21:17:06 -07:00
abhamra/ luasnip-latex-snippets.nvim
Lua 0 0
Updated 2026-04-25 16:36:33 -07:00
abhamra/ Quasar
OpenQASM 0 0
Updated 2026-04-21 21:32:03 -07:00
abhamra/ llvm-project
LLVM 0 0
Updated 2026-04-12 08:05:27 -07:00
abhamra/ guoq
OpenQASM 0 0
Updated 2026-02-21 09:13:38 -08:00
abhamra/ cslib
Lean 0 0
Updated 2026-01-21 19:15:07 -08:00
abhamra/ verified-CDCL-datastructures
Lean 0 0
Updated 2025-12-22 08:14:56 -08:00
abhamra/ verif-randomized-maxcut
Lean 0 0
Updated 2025-12-19 21:10:00 -08:00
abhamra/ qrat-lean
Lean 0 0
Updated 2025-09-11 03:52:49 -07:00
abhamra/ wisq
Python 0 0
Updated 2025-08-28 10:16:59 -07:00
abhamra/ battery_tui
Rust 0 0
Updated 2025-06-17 20:27:27 -07:00
abhamra/ kickstart_test
Lua 0 0
Updated 2025-05-22 14:10:04 -07:00
abhamra/ catalyst
Python 0 0
Updated 2024-10-30 05:46:44 -07:00
abhamra/ openqasm3_parser
Rust 0 0
Updated 2024-06-08 07:42:56 -07:00