Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Formal Requirements Elicitation Tool (github.com/NASA-SW-VnV)

62 points

4 years ago

92.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com/Park07)

62 points

anonymoosestdnt

4 months ago

93.

Show HN: Frockly – A visual editor for understanding complex Excel formulas

56 points

5 months ago

94.

Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)

52 points

a year ago

95.

DewDrop – A Formal Language for Social Networks (github.com/neyer)

51 points

11 years ago

96.

Electr, a language for electronic formulas (github.com/lkdjiin)

49 points

11 years ago

97.

Show HN: Chemiscripts: translate ASCII chemical formulas into Unicode (github.com/jwilk)

49 points

4 years ago

98.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

99.

Automatic Textbook Formalization (github.com/facebookresearch)

44 points

2 months ago

100.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)

43 points

8 hours ago

101.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support (github.com/orion-rs)

43 points

5 years ago

102.

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

37 points

6 months ago

103.

Folmura: Randomly generated visual with randomly generated formula (github.com/abagames)

36 points

7 years ago

104.

L1c: A conceptually simple formally verified compiler (github.com/j-baker)

33 points

11 years ago

105.

A Prolog Formulation of the Constitution of Japan (github.com/bitlaw-jp)

24 points

6 years ago

106.

Carnap – A formal logic framework that runs in the browser (github.com/Carnap)

22 points

4 years ago

107.

KJS: A Complete Formal Semantics of JavaScript (github.com/kframework)

18 points

6 months ago

108.

FSM-Oracle – A formally verified Finite State Machine oracle (github.com/statebox)

18 points

6 years ago

109.

Show HN: Entish: A language for implementing RPG rules in formal logic (github.com/etherealmachine)

17 points

etherealmachine

5 years ago

110.

The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org)

17 points

2 years ago

111.

Prolog Formulation of the Constitution of Japan (github.com/bitlaw-jp)

16 points

2 years ago

112.

Show HN: FizzBee – Formal Model based autonomous testing (fizzbee.io)

15 points

8 months ago

113.

Show HN: UpvoteRate – Towards a fairer ranking formula for Hacker News

15 points

3 years ago

114.

TermF1: A terminal-style dashboard for Formula 1 (github.com/dk-a-dev)

13 points

3 months ago

115.

Show HN: An open-source library for telemetry streaming started at Formula 1 (github.com/quixio)

11 points

3 years ago

116.

Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)

11 points

4 months ago

117.

We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It (github.com/dkypuros)

9 points

10 months ago

118.

Show HN: A formally verified native Delta Lake implementation in Rust (github.com/delta-io)

8 points

4 years ago

119.

Show HN: uuidfmt – small CLI utility to formal UUID into the canonical form (github.com/zshamrock)

7 points

6 years ago

120.

Show HN: brew-cleaner – CLI to bulk uninstall Homebrew formulae and free space (github.com/HarshBhatia)

7 points

9 months ago