Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

XLParser: A C# parser for Microsoft Excel formulas

github.com/spreadsheetlab

11 years ago

64 points

92.

Formal Requirements Elicitation Tool

github.com/NASA-SW-VnV

5 years ago

62 points

93.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

github.com/Park07

4 months ago

anonymoosestdnt

62 points

94.

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

6 months ago

56 points

95.

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

github.com/fraware

a year ago

52 points

96.

DewDrop – A Formal Language for Social Networks

github.com/neyer

11 years ago

51 points

97.

Electr, a language for electronic formulas

github.com/lkdjiin

11 years ago

49 points

98.

Show HN: Chemiscripts: translate ASCII chemical formulas into Unicode

github.com/jwilk

4 years ago

49 points

99.

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

3 months ago

FranciscoAngulo

47 points

100.

Automatic Textbook Formalization

github.com/facebookresearch

3 months ago

44 points

101.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support

github.com/orion-rs

5 years ago

43 points

102.

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

github.com/p-org

6 months ago

37 points

103.

Folmura: Randomly generated visual with randomly generated formula

github.com/abagames

7 years ago

36 points

104.

L1c: A conceptually simple formally verified compiler

github.com/j-baker

11 years ago

33 points

105.

A Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

6 years ago

24 points

106.

Carnap – A formal logic framework that runs in the browser

github.com/Carnap

4 years ago

22 points

107.

KJS: A Complete Formal Semantics of JavaScript

github.com/kframework

7 months ago

18 points

108.

FSM-Oracle – A formally verified Finite State Machine oracle

github.com/statebox

6 years ago

18 points

109.

Show HN: Entish: A language for implementing RPG rules in formal logic

github.com/etherealmachine

5 years ago

etherealmachine

17 points

110.

The P Programming Language: Formal modeling and analysis of distributed systems

github.com/p-org

2 years ago

17 points

111.

Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

2 years ago

16 points

112.

Show HN: FizzBee – Formal Model based autonomous testing

9 months ago

15 points

113.

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

3 years ago

15 points

114.

TermF1: A terminal-style dashboard for Formula 1

github.com/dk-a-dev

3 months ago

13 points

115.

Show HN: An open-source library for telemetry streaming started at Formula 1

github.com/quixio

3 years ago

11 points

116.

Quint LLM Kit for writing and using formal specifications

github.com/informalsystems

4 months ago

11 points

117.

We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It

github.com/dkypuros

a year ago

9 points

118.

Show HN: A formally verified native Delta Lake implementation in Rust

github.com/delta-io

4 years ago

8 points

119.

Show HN: uuidfmt – small CLI utility to formal UUID into the canonical form

github.com/zshamrock

6 years ago

7 points

120.

Show HN: brew-cleaner – CLI to bulk uninstall Homebrew formulae and free space

github.com/HarshBhatia

10 months ago

7 points