Search: github.com/FormAPI | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

“git push” deploys for convox (github.com/FormAPI)

1 point

8 years ago

2.

Show HN: Memory system for AI agents with associations, forgetting, synthesis (github.com/jarimustonen)

2 points

a month ago

3.

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

102 points

8 years ago

4.

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

27 points

7 years ago

5.

Formality Language (github.com/moonad)

3 points

6 years ago

6.

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

3 points

8 years ago

7.

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

2 points

13 years ago

8.

Show HN: An Infrastructure as Code (IaC) Tool for AWS Organizations (github.com/org-formation)

2 points

2 years ago

9.

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

2 points

5 years ago

10.

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

1 point

12 years ago

11.

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

1 point

12 years ago

12.

ForkAPI: Lightweight food recipes RestAPI with admin dashboard and Docker (github.com/mikebgrep)

1 point

2 years ago

13.

Formality (github.com/moonad)

1 point

7 years ago

14.

Why Formality-Core? (github.com/moonad)

1 point

7 years ago

15.

Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad)

1 point

7 years ago

16.

Form Animation: when form validation love animate.css (github.com/nnluukhtn)

1 point

10 years ago

17.

Awesome-Rust-Formalized-Reasoning (github.com/newca12)

2 points

5 years ago

18.

Becoming a contractor programmer in the UK (github.com/tadast)

232 points

11 years ago

19.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

20.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

21.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

22.

A formalization in Coq of the Haskell pipes library (github.com/jwiegley)

73 points

11 years ago

23.

Automatic Textbook Formalization (github.com/facebookresearch)

44 points

2 months ago

24.

Show HN: Simulating autonomous drone formations (github.com/sushrut141)

22 points

a year ago

25.

GitHub formalizes GitHub Flavored Markdown Spec (github.github.com)

5 points

9 years ago

26.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind)

4 points

a year ago

27.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

28.

BETO – A protocol that formalizes what LLMs don't know (github.com/aramirez-maza)

3 points

3 months ago

29.

Show HN: Cloud formation script to create a vpc with private and public subnets (gist.github.com)

3 points

8 years ago

30.

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

2 points

082349872349872

2 years ago