Search: github.com/formml | Heykuki News

HK

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

2 months ago

6 points

122.

Hax: Translate a subset of Rust into formal languages

github.com/hacspec

2 years ago

6 points

123.

GitHub formalizes GitHub Flavored Markdown Spec

github.github.com

9 years ago

5 points

124.

Show HN: Formally Verified Leaderless Log Protocol for Kafka

github.com/lakestream-io

2 months ago

5 points

125.

Spectacle: Interactive tool for exploring and visualizing formal specifications

github.com/will62794

a year ago

5 points

126.

Tell HN: An experiment with natural language spreadsheet formulas

4 years ago

5 points

127.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification

github.com/wookey-project

8 years ago

5 points

128.

Show HN; (rubtex) Compile ruby into latex, it turns easy writing math formulaes

github.com/iogf

9 years ago

5 points

129.

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

6 years ago

4 points

130.

Show HN: An XML-like document with spreadsheet formulas for values and undo-redo

github.com/asrp

8 years ago

4 points

131.

Show HN: Valv – Formally Verified KMS Alternative to HashiCorp Vault

github.com/molnett

2 years ago

4 points

132.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them

github.com/kerberosmansour

3 years ago

kerberosmansour

4 points

133.

Show HN: An Excel addin to automatically use cell names in formulas

github.com/evandwight

4 years ago

4 points

134.

Show HN: In two years we recreated Excel's formula engine in TypeScript

github.com/handsontable

6 years ago

4 points

135.

DMATH – Formal Verification Tools

github.com/dropbox

3 months ago

4 points

136.

An interactive Formula 1 race viz and data analysis tool built with Python

github.com/IAmTomShaw

5 months ago

4 points

137.

Formal specifications and static checking of interfaces in Julia

github.com/Keno

3 years ago

4 points

138.

Grist: Open core alternative to G Sheets with SQLite storage and Python formulas

github.com/gristlabs

4 years ago

4 points

139.

Spreadsheet-style formatting, navigation, and formulas in Markdown tables

github.com/tgrosinger

6 years ago

4 points

140.

Show HN: Typescript/JavaScript spreadsheet parser, with 250 formulas

github.com/vogtb

9 years ago

4 points

141.

Create any AST parser from formal grammars

github.com/menduz

10 years ago

4 points

142.

Show HN: A formal proof of deMorgan's law in lean

github.com/picrin

10 years ago

3 points

143.

Show HN: OpenMix, open-source computational framework for formulation science

github.com/vijayvkrishnan

2 months ago

3 points

144.

Using Petri nets as a formal language for LLM-assisted development

github.com/pflow-xyz

7 months ago

3 points

145.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

146.

Owl project (OCaml scientific computing) formally concluded

github.com/owlbarn

2 years ago

3 points

147.

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

10 years ago

3 points

148.

Issue for formalised proof of P=NP

github.com/TiruArt

19 days ago

3 points

149.

Make2c - Revolutionary Discovery of the Music Math Formula

github.com/sfeltenberg

2 months ago

3 points

150.

BETO – A protocol that formalizes what LLMs don't know

github.com/aramirez-maza

3 months ago

3 points