Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

FizzBee: A Python like language for formal specification

github.com/fizzbee-io

2 years ago

2 points

182.

Homebrew “python” formula migrates to Python3

github.com/Homebrew

8 years ago

2 points

183.

Frap: Formal Reasoning About Programs

github.com/achlipala

8 years ago

2 points

184.

Haversin Formula in Golang to Calc Distance Between Long/Lat Points

gist.github.com

11 years ago

2 points

185.

DewDrop a Formal Language for Social Networks

github.com/neyer

12 years ago

2 points

186.

A simple haversine formula module for Go

github.com/niix

12 years ago

2 points

187.

Find out which of your homebrew formulas are unused legacy dependencies

gist.github.com

12 years ago

2 points

188.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor

github.com/ninjahawk

a month ago

2 points

189.

Micro GPT written in Excel formulas

github.com/pyxll

a month ago

2 points

190.

Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification

github.com/nahhididwin

3 months ago

2 points

191.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

192.

PhysLean: Formalising Physics into Lean 4

github.com/lean-phys-community

4 months ago

2 points

193.

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

5 months ago

2 points

194.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

195.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm

github.com/gustavo-grieco

10 months ago

2 points

196.

Show HN: Grid-table – Emacs grid table with rich text, images, formulas

github.com/yibie

10 months ago

2 points

197.

Cellm: Use LLMs in Excel Formulas

github.com/getcellm

a year ago

2 points

198.

Anvil: Building Formally Verified Kubernetes Controllers

github.com/vmware-research

2 years ago

2 points

199.

miniF2F: Formal to Formal Mathematics Benchmark

github.com/openai

2 years ago

2 points

200.

Formal Methods and Machine Learning

github.com/jdnklau

2 years ago

2 points

201.

Show HN: PFV (Protocols Formal Verification)

github.com/ElNiak

2 years ago

2 points

202.

Show HN: Nabladown.js-Yet another markup language, focused in formulas and code

github.com/pedroth

2 years ago

2 points

203.

NASA Library of Formal Method Developments

github.com/nasa

3 years ago

2 points

204.

Composable static typing, proofs and formal verification for Julia

github.com/Keno

3 years ago

2 points

205.

The formula for reviewing papers by Robert Hurley

gist.github.com

14 years ago

2 points

206.

EsotericReaction: A Programming Language Based On Chemical Formulas

github.com/bigyihsuan

4 years ago

2 points

207.

CreuSAT: A formally verified SAT solver written in Rust

github.com/sarsko

4 years ago

2 points

208.

DaisyNFS is a formally verified NFS server

github.com/mit-pdos

4 years ago

2 points

209.

MarkdownFormula: Use Excel-like formulas in Markdown tables

github.com/cescript

4 years ago

2 points

210.

A tool to derive formal semantic representations of natural language sentences

github.com/mynlp

5 years ago

2 points