Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Haversin Formula in Golang to Calc Distance Between Long/Lat Points (gist.github.com)

2 points

11 years ago

182.

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

2 points

11 years ago

183.

A simple haversine formula module for Go (github.com/niix)

2 points

12 years ago

184.

Find out which of your homebrew formulas are unused legacy dependencies (gist.github.com)

2 points

12 years ago

185.

Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification (github.com/nahhididwin)

2 points

2 months ago

186.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

3 months ago

187.

PhysLean: Formalising Physics into Lean 4 (github.com/lean-phys-community)

2 points

4 months ago

188.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

189.

A Lean Formalisation of Fermat's Last Theorem (github.com/ImperialCollegeLondon)

2 points

9 months ago

190.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco)

2 points

9 months ago

191.

Show HN: Grid-table – Emacs grid table with rich text, images, formulas (github.com/yibie)

2 points

10 months ago

192.

Cellm: Use LLMs in Excel Formulas (github.com/getcellm)

2 points

a year ago

193.

Anvil: Building Formally Verified Kubernetes Controllers (github.com/vmware-research)

2 points

2 years ago

194.

miniF2F: Formal to Formal Mathematics Benchmark (github.com/openai)

2 points

2 years ago

195.

Formal Methods and Machine Learning (github.com/jdnklau)

2 points

2 years ago

196.

Show HN: PFV (Protocols Formal Verification) (github.com/ElNiak)

2 points

2 years ago

197.

Show HN: Nabladown.js-Yet another markup language, focused in formulas and code (github.com/pedroth)

2 points

2 years ago

198.

NASA Library of Formal Method Developments (github.com/nasa)

2 points

2 years ago

199.

Composable static typing, proofs and formal verification for Julia (github.com/Keno)

2 points

3 years ago

200.

The formula for reviewing papers by Robert Hurley (gist.github.com)

2 points

14 years ago

201.

EsotericReaction: A Programming Language Based On Chemical Formulas (github.com/bigyihsuan)

2 points

4 years ago

202.

CreuSAT: A formally verified SAT solver written in Rust (github.com/sarsko)

2 points

4 years ago

203.

DaisyNFS is a formally verified NFS server (github.com/mit-pdos)

2 points

4 years ago

204.

MarkdownFormula: Use Excel-like formulas in Markdown tables (github.com/cescript)

2 points

4 years ago

205.

A tool to derive formal semantic representations of natural language sentences (github.com/mynlp)

2 points

5 years ago

206.

A list of companies that use formal verification methods (github.com/ligurio)

2 points

5 years ago

207.

Homebrew deprecates all FUSE formulae (github.com/Homebrew)

2 points

6 years ago

208.

Formal verification of the Algorand consensus protocol (github.com/runtimeverification)

2 points

6 years ago

209.

Oxide: Building a Formalized Rust for great good (github.com/aatxe)

2 points

6 years ago

210.

A lightweight spreadsheet with Lisp formulas: new improved version (github.com/naver)

2 points

6 years ago