Search: github.com/formml | Heykuki News

HK

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

2 years ago

5 points

2.

FormML – A DSL for building forms (like Prisma but for forms)

github.com/formml

a year ago

2 points

3.

Show HN: FormML – A DSL for building forms (like Prisma but for forms)

github.com/formml

a year ago

1 points

4.

Show HN: FormsLab – Open-source form builder

formslab.vercel.app

2 years ago

4 points

5.

A Python implementation of formal systems from the book “Gödel, Escher, Bach”

github.com/alexprengere

9 years ago

310 points

6.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

7.

Formal Systems in Biology

github.com/prathyvsh

6 years ago

133 points

8.

Excel formulas in JavaScript

github.com/sutoiku

12 years ago

102 points

9.

Formality – An efficient programming language and proof assistant

github.com/maiavictor

8 years ago

102 points

10.

Show HN: My "weekend" project, an ML dialect and compiler

texodus.github.com

14 years ago

68 points

11.

Formality, a (proof)gramming language featuring optimal reductions

github.com/moonad

7 years ago

27 points

12.

Show HN: FormsLab – Open-source form builder

github.com/Ryczko

3 years ago

8 points

13.

Show HN: Formal – Formal verification for AI-generated code using Lean 4

github.com/yamafaktory

2 months ago

4 points

14.

Formality Language

github.com/moonad

6 years ago

3 points

15.

Saltstack Lxd-Formula

github.com/saltstack-formulas

7 years ago

3 points

16.

Formality: An efficient programming language and proof assistant

github.com/MaiaVictor

8 years ago

3 points

17.

Show HN: Serverless form backend for AWS Lambda

github.com/danielireson

9 years ago

3 points

18.

Form data to js object to json - jQuery plugin

github.com/mazondo

13 years ago

2 points

19.

Formal.js – A classier way to validate forms

github.com/talsafran

11 years ago

2 points

20.

Formula: A VST for coding custom DSP inside your DAW

github.com/soundspear

4 months ago

2 points

21.

Arduino Racing game for 20x4 Character LCD and analog potentiometer

github.com/rikovmike

5 years ago

2 points

22.

Goodbye, JavaScript: Formality is now implemented in itself

github.com/moonad

6 years ago

2 points

23.

Form forwarding service for AWS Lambda

github.com/danielireson

9 years ago

2 points

24.

Computer assisted theoretical philosophy

github.com/FormalTheology

10 years ago

2 points

25.

JQuery plugin for turning form inputs into a js object

github.com/mazondo

12 years ago

1 points

26.

Formalizations of Gödel's Ontological Proof of God's Existence

github.com/FormalTheology

13 years ago

1 points

27.

Formalize, a jQuery plugin for multi-section webforms

github.com/vgpena

12 years ago

1 points

28.

Forml 0.2 - bigger, better, faster, Tetris.

texodus.github.com

13 years ago

1 points

29.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points

30.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points