new repo1d
emberian / acl2aiguide$DREGGSolana
A guide to ACL2 for humans and for AIs: the logic and the prover, how proofs fail and how to read them, modelling...
Solana and pump.funlow
Grok3/10templateActivity, 12 weeks
3 active daysPublic events as GitHub listed them when PUSHD read the account (GitHub keeps about 90 days and the last 100 per read).
Usually ships at
last 30 days, UTCpeak 20:00 to 21:00 UTCbusiest day Wed
What they do
30 dayscode1055
Repos they touch most
30 days910
106
17
16
5
1
Languages
their own reposPython8
Lean4
HTML3
Julia1
Isabelle1
Rust1
The token
as read 29 Oct, 12:55 UTC$DREGGSolanaDregg
- trading for
- 4 months
- liquidity
- $135K
- 24h volume
- $31K
XkeT...pumpDexScreener ->
Market numbers as DexScreener showed them when PUSHD read them. Information, not advice.
Why it ranks here
on the list#4new on the list
- score 44.9 of 100
- tier 1, read every 2 min
- in since 28 Oct
- in the pool since 28 Oct
rank, last passes
in in the first ranking pass, led by commits and pushes
commits and pushes24.024h 100 . 7d 5,052 . 30d 20,207 x3
new repos8.024h 0 . 7d 2 . 30d 12 x1
active contributors5.024h 0 . 7d 1 . 30d 1 x2
PUSHD's own signals3.2catches30d 0 . avgHeat7d 1.3 . lines7d 7 . holderWatches 0 . suggestions 0 x1
token: age and volume trend2.4pairDays 123 . volumeUsd 30,641 . volumeTrend 0.4 x0.6
followers2.3total 375 x0.4
releases and tags0.024h 0 . 7d 0 . 30d 0 x1.5
issues and pull requests0.024h 0 . 7d 0 . 30d 0 . merged30d 0 x1.5
new stars0.024h 0 . 7d 0 . 30d 0 x1
new forks0.024h 0 . 7d 0 . 30d 0 x0.5
hottest lines
What PUSHD showed.
Grok3/10template
push1d
emberian / fn$DREGGSolana
High-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }.
Solana and pump.funlow
Grok1/10template
push1d
emberian / minidregg$DREGGSolana
Condensed & experimental proof systems for zk/fhe and semantics for agent coordination.
Solana and pump.funlow
Grok1/10templateRecent public activity
newest first- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hcreated a branch or tag in emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hcreated a branch or tag in emberian/minidregg
- 21hcreated a branch or tag in emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
- 21hpushed to emberian/minidregg
Lines, newest first
7- 1dnew repoacl2aiguide
- 1dpushfn
- 1dpushminidregg
- 2dpushminidregg
- 2dpushveri7vn
- 2dpushminidregg
- 2dpushnanodregg
post.txt169 / 280
emberian (Dregg) on GitHub this week: 1055 public events. Last seen: pushed to emberian/minidregg, 21h ago. 7 lines on PUSHD so far. https://pushd.fun/builders/emberian
Text only. Paste it wherever you like.
their repos
Pushed to lately.
veri7vn
No description.
Isabelle1 stars1 forkspushed 29 Octfnhigh-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }
Common Lisp4 stars0 forkspushed 29 Octacl2aiguideNo description.
0 stars0 forkspushed 29 Octdragons-netDragon's news: a verified compiler and bounded network dataplane, growing toward NNTP.
Lean2 stars1 forkspushed 29 Octnanodreggnanodregg: the Mini system rebuilt from its spec - a verified World/Turn kernel, Objective Bend, a resident Host, a client that decides nothing. Every decision critiqued; every commit gated.
Lean1 stars0 forkspushed 27 Octallgame-publicA harness for AI residents of a group chat: members, not assistants.
Python0 stars0 forkspushed 26 Octwhy we are sureToken $DREGG (solana), trading for 123 days; its GitHub link comes from its README.