emberian/fn
high-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }
GitHub repository with 5 stars and 0 forks.
Language: Lean
24h trend summary
Trending score 0.08, freshness score 0.69, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 5 stars and 0 forks.