Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Modeleon – Python DSL that compiles to live Excel formulas (github.com/modeleonai)

6 points

a month ago

122.

Hax: Translate a subset of Rust into formal languages (github.com/hacspec)

6 points

2 years ago

123.

GitHub formalizes GitHub Flavored Markdown Spec (github.github.com)

5 points

9 years ago

124.

Show HN: Formally Verified Leaderless Log Protocol for Kafka (github.com/lakestream-io)

5 points

2 months ago

125.

Spectacle: Interactive tool for exploring and visualizing formal specifications (github.com/will62794)

5 points

a year ago

126.

Tell HN: An experiment with natural language spreadsheet formulas

5 points

4 years ago

127.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com/wookey-project)

5 points

8 years ago

128.

Show HN; (rubtex) Compile ruby into latex, it turns easy writing math formulaes (github.com/iogf)

5 points

9 years ago

129.

TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”

4 points

5 years ago

130.

Show HN: An XML-like document with spreadsheet formulas for values and undo-redo (github.com/asrp)

4 points

8 years ago

131.

Show HN: Valv – Formally Verified KMS Alternative to HashiCorp Vault (github.com/molnett)

4 points

2 years ago

132.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

133.

Show HN: An Excel addin to automatically use cell names in formulas (github.com/evandwight)

4 points

4 years ago

134.

Show HN: In two years we recreated Excel's formula engine in TypeScript (github.com/handsontable)

4 points

6 years ago

135.

DMATH – Formal Verification Tools (github.com/dropbox)

4 points

2 months ago

136.

An interactive Formula 1 race viz and data analysis tool built with Python (github.com/IAmTomShaw)

4 points

5 months ago

137.

Formal specifications and static checking of interfaces in Julia (github.com/Keno)

4 points

3 years ago

138.

Grist: Open core alternative to G Sheets with SQLite storage and Python formulas (github.com/gristlabs)

4 points

4 years ago

139.

Spreadsheet-style formatting, navigation, and formulas in Markdown tables (github.com/tgrosinger)

4 points

6 years ago

140.

Show HN: Typescript/JavaScript spreadsheet parser, with 250 formulas (github.com/vogtb)

4 points

9 years ago

141.

Create any AST parser from formal grammars (github.com/menduz)

4 points

10 years ago

142.

Show HN: A formal proof of deMorgan's law in lean (github.com/picrin)

3 points

10 years ago

143.

Show HN: OpenMix, open-source computational framework for formulation science (github.com/vijayvkrishnan)

3 points

2 months ago

144.

Using Petri nets as a formal language for LLM-assisted development (github.com/pflow-xyz)

3 points

6 months ago

145.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

146.

Owl project (OCaml scientific computing) formally concluded (github.com/owlbarn)

3 points

2 years ago

147.

Ask HN: README.tex and math formulas for GitHub?

3 points

10 years ago

148.

Issue for formalised proof of P=NP (github.com/TiruArt)

3 points

2 days ago

149.

Make2c - Revolutionary Discovery of the Music Math Formula (github.com/sfeltenberg)

3 points

2 months ago

150.

BETO – A protocol that formalizes what LLMs don't know (github.com/aramirez-maza)

3 points

3 months ago