Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: FormML – A DSL for building complex web forms (github.com/formml)

5 points

a year ago

2.

FormML – A DSL for building forms (like Prisma but for forms) (github.com/formml)

2 points

a year ago

3.

Show HN: FormML – A DSL for building forms (like Prisma but for forms) (github.com/formml)

1 point

a year ago

4.

Show HN: FormsLab – Open-source form builder (formslab.vercel.app)

4 points

2 years ago

5.

A Python implementation of formal systems from the book “Gödel, Escher, Bach” (github.com/alexprengere)

310 points

9 years ago

6.

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

159 points

a year ago

7.

Formal Systems in Biology (github.com/prathyvsh)

133 points

6 years ago

8.

Excel formulas in JavaScript (github.com/sutoiku)

102 points

12 years ago

9.

Formality – An efficient programming language and proof assistant (github.com/maiavictor)

102 points

8 years ago

10.

Show HN: My "weekend" project, an ML dialect and compiler (texodus.github.com)

68 points

14 years ago

11.

Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad)

27 points

7 years ago

12.

Show HN: FormsLab – Open-source form builder (github.com/Ryczko)

8 points

3 years ago

13.

Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com/yamafaktory)

4 points

2 months ago

14.

Formality Language (github.com/moonad)

3 points

6 years ago

15.

Saltstack Lxd-Formula (github.com/saltstack-formulas)

3 points

7 years ago

16.

Formality: An efficient programming language and proof assistant (github.com/MaiaVictor)

3 points

8 years ago

17.

Show HN: Serverless form backend for AWS Lambda (github.com/danielireson)

3 points

9 years ago

18.

Form data to js object to json - jQuery plugin (github.com/mazondo)

2 points

13 years ago

19.

Formal.js – A classier way to validate forms (github.com/talsafran)

2 points

11 years ago

20.

Formula: A VST for coding custom DSP inside your DAW (github.com/soundspear)

2 points

3 months ago

21.

Arduino Racing game for 20x4 Character LCD and analog potentiometer (github.com/rikovmike)

2 points

5 years ago

22.

Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad)

2 points

5 years ago

23.

Form forwarding service for AWS Lambda (github.com/danielireson)

2 points

8 years ago

24.

Computer assisted theoretical philosophy (github.com/FormalTheology)

2 points

10 years ago

25.

JQuery plugin for turning form inputs into a js object (github.com/mazondo)

1 point

12 years ago

26.

Formalizations of Gödel's Ontological Proof of God's Existence (github.com/FormalTheology)

1 point

13 years ago

27.

Formalize, a jQuery plugin for multi-section webforms (github.com/vgpena)

1 point

12 years ago

28.

Forml 0.2 - bigger, better, faster, Tetris. (texodus.github.com)

1 point

13 years ago

29.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago

30.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago