Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

A list of companies that use formal verification methods

github.com/ligurio

5 years ago

2 points

212.

Homebrew deprecates all FUSE formulae

github.com/Homebrew

6 years ago

2 points

213.

Formal verification of the Algorand consensus protocol

github.com/runtimeverification

6 years ago

2 points

214.

Oxide: Building a Formalized Rust for great good

github.com/aatxe

6 years ago

2 points

215.

A lightweight spreadsheet with Lisp formulas: new improved version

github.com/naver

6 years ago

2 points

216.

Show HN: A correct Scheme interpreter based on R5RS formal semantics

github.com/siraben

6 years ago

2 points

217.

New open source F# RISC-V ISA formal specification and CPU simulation

github.com/mrLSD

7 years ago

2 points

218.

A hack for showing LaTeX formulas in GitHub markdown

gist.github.com

7 years ago

2 points

219.

HACL*, a formally verified cryptographic library written in F*

github.com/project-everest

7 years ago

2 points

220.

A formally verified proof of the soundness of System F

github.com/stepchowfun

7 years ago

2 points

221.

Automatically convert formulae to code

github.com/philipxyc

8 years ago

2 points

222.

Simple formulation of the fine structure constant

github.com/vicfx

8 years ago

2 points

223.

Tell HN: Homebrew base python formula now Python3

8 years ago

2 points

224.

SaltStack formula: Django stack, Varnish caching and HAProxy load balancing

github.com/alexisbellido

10 years ago

2 points

225.

homebrew-dupes: System duplicate formulae for the Homebrew

github.com/Homebrew

10 years ago

2 points

226.

Show HN: The "Structural Formula" of LLMs – No more black boxes

github.com/kuruitinoji-sys

5 months ago

1 points

227.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

github.com/JQCTeam

a year ago

1 points

228.

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

github.com/jose-blockchain

3 months ago

1 points

229.

Show HN: One formula detects failure in quantum, neural nets, and hearts

github.com/Wise314

4 months ago

1 points

230.

Show HN: FuturLang – Natural language formal verification

5 months ago

1 points

231.

Lean 4 formalization of Erdős Problem #848 – seeking review

github.com/The-Obstacle-Is-The-Way

5 months ago

vibecodermcswag

1 points

232.

SmartExcelGuardian: Open-source Excel data cleaning with heuristics and formulas

github.com/rogers-cyber

5 months ago

1 points

233.

Litex: A simple formal language which 10-year-olds learns quickly

github.com/litexlang

a year ago

1 points

234.

MindScript: An experimental language combining formal and informal computation

github.com/DAIOS-AI

2 years ago

1 points

235.

Fret: Formal Requirements Elicitation Tool v3.0

github.com/NASA-SW-VnV

3 years ago

1 points

236.

What if I told you that formal representation of a kanji glyph is not gibberish

github.com/ninep9up

4 years ago

1 points

237.

Formula engine with A1 notation for TypeScript

github.com/handsontable

5 years ago

1 points

238.

A Note on Formal Specification for Programmers

github.com/rodgarrison

6 years ago

1 points

239.

OpenSSL homebrew formula – control-freak (TM) edition

gist.github.com

11 years ago

1 points

240.

PHP is finally getting a formal specification. It has only taken 19 years

12 years ago

1 points