iacore
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
184
 Projects Packages Public Activity Starred Repositories
Filter
Sort
nanite
Go 0 0
nanochat client written in Go
Updated 2025-11-01 16:39:19 +00:00
json-schema-lean
Lean 0 0
JSON Schema validator in Lean
Updated 2025-11-01 15:56:29 +00:00
richelot-isogenies
Python 0 0
Updated 2025-11-01 12:53:26 +00:00
glyph-ranges
Python 0 0
Get unicode codepoints supported by fonts - uses fontconfig `fc-list`
Updated 2025-10-30 01:11:24 +00:00
antipoverty
CSV 0 0
Updated 2025-10-21 17:59:10 +00:00
apkoit
Rust 0 0
Updated 2025-10-11 04:24:28 +00:00
sjqq-dl
Python 0 0
Download proprietary Android apps from sj.qq.com
Updated 2025-10-06 05:14:13 +00:00
wire-routing-game
Zig 0 0
Updated 2025-09-19 08:52:33 +00:00
transf-diy-hrt
0 0
Updated 2025-09-16 01:30:19 +00:00
crypto-playground
Assembly 0 0
Updated 2025-09-06 21:38:10 +00:00
sethares-dissmeasure
Python 0 0
https://gist.github.com/3066664.git
Updated 2025-07-21 11:46:40 +00:00
featherwiki-deno-server
HTML 0 0
A FeatherWiki Nest, written in Deno
Updated 2025-07-20 17:21:33 +00:00
porkbun-gui-rs
Rust 0 0
Porkbun GUI, written in Rust
Updated 2025-07-12 15:26:27 +00:00
social-tendrils
C 0 0
My Internet Tendrils
Updated 2025-07-05 09:59:47 +00:00
kvperf-go
Go 0 0
Updated 2025-05-27 14:22:35 +00:00