Search: github.com/formal-land | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

2.

Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)

111 points

8 months ago

3.

DewDrop – A Formal Language for Social Networks (github.com/neyer)

51 points

11 years ago

4.

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

6 points

2 years ago

5.

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

3 points

6 months ago

6.

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

3 points

12 years ago

7.

DewDrop a Formal Language for Social Networks (github.com/neyer)

2 points

11 years ago

8.

Litex: A simple formal language which 10-year-olds learns quickly (github.com/litexlang)

1 point

a year ago

9.

Show HN: It's been nearly 50 years. Is SQL outdated? (github.com/SPLWare)

5 points

3 years ago

10.

Show HN: Lance – Open lakehouse format for multimodal AI datasets (github.com/lance-format)

4 points

5 months ago

11.

Show HN: Yet Anoter Visual Format Language for Auto Layout, Written in Swift (github.com/safx)

2 points

11 years ago

12.

Apple's Auto Layout and Visual Format Language for JavaScript (github.com/lume)

1 point

2 years ago

13.

Show HN: Shell script for AI-powered code reviews using local LLMs (gist.github.com)

1 point

2 years ago