Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Ask HN: Advice on Transitioning to Speech AI/Voice Interface Engineering

2 years ago

1 points

62.

Show HN: AWS CLI Installer on Apple Silicon

github.com/carlosonunez

a year ago

1 points

63.

Podman, the open source Docker alternative ported to M1 (Apple Silicon) machines

github.com/simnalamburt

5 years ago

494 points

64.

Apple Game Porting Toolkit

github.com/apple

3 years ago

5 points

65.

Brew install mesos; Mesos was added to Homebrew

github.com/Homebrew

12 years ago

5 points

66.

"My disgust at Google's ineptitude here knows NO bounds"

github.com/mxcl

15 years ago

5 points

67.

Apple Game Porting Toolkit 1.0

github.com/apple

3 years ago

2 points

68.

Podman, the open source Docker alternative ported to M1 Apple Silicon

github.com/simnalamburt

5 years ago

2 points

69.

Show HN: Yutovo – visual online and desktop calculator inside a text editor

5 months ago

4 points

70.

Computer vision basics in Excel, using just formulas

github.com/amzn

6 years ago

687 points

71.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com/sarsko

4 years ago

315 points

72.

Rosenpass – formally verified post-quantum WireGuard

github.com/rosenpass

3 years ago

285 points

73.

ZZ is a modern formally provable dialect of C

6 years ago

266 points

74.

Homebrew removes MongoDB from core formulas

github.com/Homebrew

7 years ago

252 points

75.

Lion: A formally verified, 5-stage pipeline RISC-V core

github.com/standardsemiconductor

5 years ago

241 points

76.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

77.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

78.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

79.

RusTLS Formal Audit [pdf]

6 years ago

156 points

80.

Garment Notation Language: Formal descriptive language for clothing construction

github.com/khalildh

4 months ago

136 points

81.

F# RISC-V Instruction Set formal specification

github.com/mrLSD

3 years ago

134 points

82.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

83.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

122 points

84.

Litex: The First Formal Language Learnable in 1-2 Hours

github.com/litexlang

9 months ago

111 points

85.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

86.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

87.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

github.com/schildep

18 days ago

93 points

88.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf]

github.com/devinmcgloin

7 years ago

77 points

89.

Tamgucalc: A spreadsheet in character mode with Lisp formulas

github.com/naver

6 years ago

74 points

90.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points