Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Show HN: formal verification for Firebase

github.com/tomlarkworthy

12 years ago

1 points

242.

Newbrew: TUI for discovering recent Homebrew formula additions

github.com/matt-riley

2 months ago

1 points

243.

We retired an AI agent through a formal hearing

gist.github.com

2 months ago

1 points

244.

SereneCode – Formal verification framework for AI-generated Python code

github.com/helgster77

3 months ago

1 points

245.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

246.

Formal model of time entry (aggregation → composition)

github.com/VoxleOne

4 months ago

1 points

247.

Show HN: Monolith – DIY wireless telemetry/data logger for Student Formula

github.com/luftaquila

5 months ago

1 points

248.

Flyspeck: The formal proof of the Kepler conjecture

github.com/flyspeck

6 months ago

1 points

249.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

250.

Coppie: Rewrite content using 232 copywriting formulas with ChatGPT

github.com/WynterJones

2 years ago

1 points

251.

Show HN: MathExpansion - A project for implementing formula models in gSheets.

github.com/MathExpansion

3 years ago

1 points

252.

Pyano: A formalization of first-order logic and Peano's axioms in Python

github.com/sanjoy

3 years ago

1 points

253.

Nursery: Programs and libs that I haven't gotten around to formally packaging

github.com/chrisbarrett

4 years ago

1 points

254.

Formal verification of folklore and miscellaneous results in number theory

github.com/josephcmac

4 years ago

1 points

255.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]

github.com/runtimeverification

5 years ago

1 points

256.

Ins Color the world’s most popular treasure app Color formula

htmlpreview.github.io

5 years ago

1 points

257.

Entish – a declarative Datalog-like language for formal RPG rules

github.com/etherealmachine

5 years ago

1 points

258.

Entish is a declarative Datalog-like language for formal RPG rules

github.com/etherealmachine

5 years ago

1 points

259.

Show HN: A formal grammar for Conventional Commits

github.com/conventional-commits

5 years ago

1 points

260.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

1 points

261.

State of the Art (not-formal) of Image Matching techniques [pdf]

github.com/Vincent-CIRCL

7 years ago

1 points

262.

Remove all options from Homebrew/homebrew-core formulae

github.com/Homebrew

7 years ago

1 points

263.

Prolog: Finding Out If Hamilton Becomes Formula 1 Champion in the 2018 US GP

gist.github.com

8 years ago

1 points

264.

SAT Solver for Formulae in 3-CNF Implemented in PostgreSQL

gist.github.com

8 years ago

1 points

265.

A List of companies that use Formal methods in Software engineering

github.com/ligurio

8 years ago

1 points

266.

Golang Microsoft Excel Formula Parser

github.com/Luxurioust

9 years ago

1 points

267.

Formal verification for re-entrant Solidity contracts

gist.github.com

10 years ago

1 points

268.

Homebrew merges MLton Formula

github.com/Homebrew

10 years ago

1 points

269.

Launch HN: Onedoc (YC W24) – A better way to create PDFs

github.com/OnedocLabs

2 years ago

293 points

270.

A word used only by Postgres developers

4 years ago

286 points