Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

SereneCode – Formal verification framework for AI-generated Python code (github.com/helgster77)

1 point

2 months ago

242.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

243.

Formal model of time entry (aggregation → composition) (github.com/VoxleOne)

1 point

4 months ago

244.

Show HN: Monolith – DIY wireless telemetry/data logger for Student Formula (github.com/luftaquila)

1 point

4 months ago

245.

Flyspeck: The formal proof of the Kepler conjecture (github.com/flyspeck)

1 point

5 months ago

246.

Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com/matthew-scherf)

1 point

6 months ago

247.

Coppie: Rewrite content using 232 copywriting formulas with ChatGPT (github.com/WynterJones)

1 point

2 years ago

248.

Show HN: MathExpansion - A project for implementing formula models in gSheets. (github.com/MathExpansion)

1 point

2 years ago

249.

Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy)

1 point

3 years ago

250.

Nursery: Programs and libs that I haven't gotten around to formally packaging (github.com/chrisbarrett)

1 point

4 years ago

251.

Formal verification of folklore and miscellaneous results in number theory (github.com/josephcmac)

1 point

4 years ago

252.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (github.com/runtimeverification)

1 point

4 years ago

253.

Ins Color the world’s most popular treasure app Color formula (htmlpreview.github.io)

1 point

5 years ago

254.

Entish – a declarative Datalog-like language for formal RPG rules (github.com/etherealmachine)

1 point

5 years ago

255.

Entish is a declarative Datalog-like language for formal RPG rules (github.com/etherealmachine)

1 point

5 years ago

256.

Show HN: A formal grammar for Conventional Commits (github.com/conventional-commits)

1 point

5 years ago

257.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

1 point

7 years ago

258.

State of the Art (not-formal) of Image Matching techniques [pdf] (github.com/Vincent-CIRCL)

1 point

7 years ago

259.

Remove all options from Homebrew/homebrew-core formulae (github.com/Homebrew)

1 point

7 years ago

260.

Prolog: Finding Out If Hamilton Becomes Formula 1 Champion in the 2018 US GP (gist.github.com)

1 point

8 years ago

261.

SAT Solver for Formulae in 3-CNF Implemented in PostgreSQL (gist.github.com)

1 point

8 years ago

262.

A List of companies that use Formal methods in Software engineering (github.com/ligurio)

1 point

8 years ago

263.

Golang Microsoft Excel Formula Parser (github.com/Luxurioust)

1 point

9 years ago

264.

Formal verification for re-entrant Solidity contracts (gist.github.com)

1 point

10 years ago

265.

Homebrew merges MLton Formula (github.com/Homebrew)

1 point

10 years ago

266.

Launch HN: Onedoc (YC W24) – A better way to create PDFs (github.com/OnedocLabs)

293 points

2 years ago

267.

A word used only by Postgres developers

286 points

4 years ago

268.

Show HN: Teable – Open-Source No-Code Database Fusion of Postgres and Airtable (github.com/teableio)

279 points

2 years ago

269.

Launch HN: Highlight.io (YC W23) – Open-source, full stack web app monitoring

261 points

3 years ago

270.

Show HN: Boldly go where Gradient Descent has never gone before with DiscoGrad (github.com/DiscoGrad)

232 points

2 years ago