Search: github.com/fraware | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Containers for Lean 4 (polynomial functors, with M-types)

github.com/fraware

9 months ago

1 points

2.

Show HN: Formal Verification for Machine Learning Models Using Lean 4

github.com/fraware

a year ago

52 points

3.

Show HN: Revenant – automatic LLM powered reverse engineering and reimplement

32 minutes ago

3 points

4.

Show HN: ZXC – Asymmetric, +40% decode vs. LZ4 on ARM (C, BSD-3, Fuzzed)

github.com/hellobertrand

6 months ago

1 points

5.

Loupe – A iOS app that raises awareness about what native apps can see

github.com/mysk-research

2 days ago

532 points