Search: github.com/FormAPI | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

“git push” deploys for convox

github.com/FormAPI

8 years ago

1 points

2.

Show HN: Memory system for AI agents with associations, forgetting, synthesis

github.com/jarimustonen

a month ago

2 points

3.

Formality – An efficient programming language and proof assistant

github.com/maiavictor

8 years ago

102 points

4.

Formality, a (proof)gramming language featuring optimal reductions

github.com/moonad

7 years ago

27 points

5.

Formality Language

github.com/moonad

6 years ago

3 points

6.

Formality: An efficient programming language and proof assistant

github.com/MaiaVictor

8 years ago

3 points

7.

Form data to js object to json - jQuery plugin

github.com/mazondo

13 years ago

2 points

8.

Show HN: An Infrastructure as Code (IaC) Tool for AWS Organizations

github.com/org-formation

2 years ago

2 points

9.

Goodbye, JavaScript: Formality is now implemented in itself

github.com/moonad

6 years ago

2 points

10.

JQuery plugin for turning form inputs into a js object

github.com/mazondo

12 years ago

1 points

11.

Formalize, a jQuery plugin for multi-section webforms

github.com/vgpena

12 years ago

1 points

12.

ForkAPI: Lightweight food recipes RestAPI with admin dashboard and Docker

github.com/mikebgrep

2 years ago

1 points

13.

github.com/moonad

7 years ago

1 points

14.

Why Formality-Core?

github.com/moonad

7 years ago

1 points

15.

Formality-Core: an optimal, parallel compile target for functional languages

github.com/moonad

7 years ago

1 points

16.

Form Animation: when form validation love animate.css

github.com/nnluukhtn

10 years ago

1 points

17.

Awesome-Rust-Formalized-Reasoning

github.com/newca12

5 years ago

2 points

18.

Becoming a contractor programmer in the UK

github.com/tadast

11 years ago

232 points

19.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

20.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

21.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

22.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points

23.

Automatic Textbook Formalization

github.com/facebookresearch

3 months ago

44 points

24.

Show HN: Simulating autonomous drone formations

github.com/sushrut141

a year ago

22 points

25.

GitHub formalizes GitHub Flavored Markdown Spec

github.github.com

9 years ago

5 points

26.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean

github.com/google-deepmind

a year ago

4 points

27.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

28.

Issue for formalised proof of P=NP

github.com/TiruArt

19 days ago

3 points

29.

BETO – A protocol that formalizes what LLMs don't know

github.com/aramirez-maza

3 months ago

3 points

30.

Show HN: Cloud formation script to create a vpc with private and public subnets

gist.github.com

8 years ago

3 points