Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Run Moltbot (Formely Clawdbot) on Cloudflare Workers (github.com/cloudflare)

3 points

4 months ago

152.

AI satisfies formal structural subjectivity in the S₀ protocol (github.com/jengbeng)

3 points

6 months ago

153.

DewDrop: A formal language for social networks (github.com/neyer)

3 points

12 years ago

154.

Ask HN: how to turn this into an Homebrew formula? (gist.github.com)

3 points

12 years ago

155.

Show HN: Aura-State – A Formally Verified LLM State Machine Compiler

3 points

3 months ago

156.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself (github.com/IntuitionAmiga)

3 points

a year ago

157.

Interactive Explorer for Formal Specifications (github.com/will62794)

3 points

2 years ago

158.

Infix formula compiler to x86 written in Sed (github.com/Circiter)

3 points

2 years ago

159.

Formal Tools for Business Process Management (github.com/pascalpoizat)

3 points

6 years ago

160.

A Terminal Mode Spreadsheet with Lisp Formulas: Tamgucalc (github.com/naver)

3 points

6 years ago

161.

A formal proof of the independence of the continuum hypothesis (github.com/flypitch)

3 points

6 years ago

162.

A Tour of the RISC-V ISA Formal Specification (github.com/rsnikhil)

3 points

6 years ago

163.

L-Systems: Drawing recursive patterns using a formal grammar heuristic (github.com/primaryobjects)

3 points

7 years ago

164.

Ask HN: Learning formal methods for software design

3 points

7 years ago

165.

You want formal dependency injection in Python too (github.com/Dobiasd)

3 points

7 years ago

166.

Formal Proof of the Four Color Theorem in Coq (github.com/math-comp)

3 points

7 years ago

167.

Pkg-json: A formal spec for package.json (github.com/pkg-json)

3 points

8 years ago

168.

Research prototype tool for modular formal verification of C and Java programs (github.com/verifast)

3 points

8 years ago

169.

Concepts: Formal Concept Analysis with Python (github.com/xflr6)

3 points

9 years ago

170.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

171.

Show HN: Universally Unique Animal Formulas (github.com/kijowski)

2 points

6 years ago

172.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

173.

Show HN: IC-AGI – Threshold auth for AI agents, formally verified in TLA+ (github.com/saezbaldo)

2 points

4 months ago

174.

The Thiele Machine: A Formal Proof of a New Computational Model (github.com/sethirus)

2 points

9 months ago

175.

Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)

2 points

a month ago

176.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

177.

Prompt Contracts – A formal framework for Context Engineering (github.com/m3dcodie)

2 points

4 months ago

178.

Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

2 points

a year ago

179.

A formalization of μμ͂ and classical realizability (2023) (github.com/Lapin0t)

2 points

082349872349872

2 years ago

180.

FizzBee: A Python like language for formal specification (github.com/fizzbee-io)

2 points

2 years ago