Search: github.com/formml | Heykuki News

HK

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

5 months ago

3 points

152.

AI satisfies formal structural subjectivity in the S₀ protocol

github.com/jengbeng

7 months ago

3 points

153.

DewDrop: A formal language for social networks

github.com/neyer

12 years ago

3 points

154.

Ask HN: how to turn this into an Homebrew formula?

gist.github.com

12 years ago

3 points

155.

Maref: Formal Governance for Multi-Agent Systems

github.com/maref-org

4 days ago

3 points

156.

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

4 months ago

3 points

157.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself

github.com/IntuitionAmiga

a year ago

3 points

158.

Interactive Explorer for Formal Specifications

github.com/will62794

2 years ago

3 points

159.

Infix formula compiler to x86 written in Sed

github.com/Circiter

2 years ago

3 points

160.

Formal Tools for Business Process Management

github.com/pascalpoizat

6 years ago

3 points

161.

A Terminal Mode Spreadsheet with Lisp Formulas: Tamgucalc

github.com/naver

6 years ago

3 points

162.

A formal proof of the independence of the continuum hypothesis

github.com/flypitch

6 years ago

3 points

163.

A Tour of the RISC-V ISA Formal Specification

github.com/rsnikhil

7 years ago

3 points

164.

L-Systems: Drawing recursive patterns using a formal grammar heuristic

github.com/primaryobjects

7 years ago

3 points

165.

Ask HN: Learning formal methods for software design

7 years ago

3 points

166.

You want formal dependency injection in Python too

github.com/Dobiasd

7 years ago

3 points

167.

Formal Proof of the Four Color Theorem in Coq

github.com/math-comp

7 years ago

3 points

168.

Pkg-json: A formal spec for package.json

github.com/pkg-json

8 years ago

3 points

169.

Research prototype tool for modular formal verification of C and Java programs

github.com/verifast

8 years ago

3 points

170.

Concepts: Formal Concept Analysis with Python

github.com/xflr6

10 years ago

3 points

171.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

172.

Show HN: Universally Unique Animal Formulas

github.com/kijowski

6 years ago

2 points

173.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

174.

Show HN: IC-AGI – Threshold auth for AI agents, formally verified in TLA+

github.com/saezbaldo

4 months ago

2 points

175.

The Thiele Machine: A Formal Proof of a New Computational Model

github.com/sethirus

10 months ago

2 points

176.

Replacing probabilistic AI with deterministic math and Dafny formal verification

gist.github.com

2 months ago

2 points

177.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

178.

Prompt Contracts – A formal framework for Context Engineering

github.com/m3dcodie

4 months ago

2 points

179.

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

github.com/p-org

a year ago

2 points

180.

A formalization of μμ͂ and classical realizability (2023)

github.com/Lapin0t

2 years ago

082349872349872

2 points