Search: github.com/FormAPI | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

2 points

082349872349872

2 years ago

32.

Show HN: Fromation - Build Interdependent AWS Cloud Formation Stacks (github.com/brettweavnet)

2 points

13 years ago

33.

PhysLean: Formalising Physics into Lean 4 (github.com/lean-phys-community)

2 points

4 months ago

34.

A collection of formalized statements of conjectures in Lean (github.com/google-deepmind)

2 points

9 months ago

35.

A Lean Formalisation of Fermat's Last Theorem (github.com/ImperialCollegeLondon)

2 points

9 months ago

36.

Show HN: 3D Stellar Formation Simulator (github.com/caiusdfolkerts)

2 points

a year ago

37.

Oxide: Building a Formalized Rust for great good (github.com/aatxe)

2 points

6 years ago

38.

VueJS and Express and API Gateway with Docker and Cloud Formation (github.com/allanchua101)

2 points

7 years ago

39.

Setup a VPN server on an AWS EC2 Instance via single Cloud Formation template. (github.com/weavenet)

2 points

10 years ago

40.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com/JQCTeam)

1 point

10 months ago

41.

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

1 point

13 years ago

42.

Lean 4 formalization of Erdős Problem #848 – seeking review (github.com/The-Obstacle-Is-The-Way)

1 point

vibecodermcswag

4 months ago

43.

Show HN: Open‑Source Capital Formation OS (Postgres and AI Agents) (github.com/agio711)

1 point

3 months ago

44.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com/DebarghaG)

1 point

6 months ago

45.

Google-DeepMind/formal-conjectures repository: formalized conjectures (github.com/google-deepmind)

1 point

a year ago

46.

Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy)

1 point

3 years ago

47.

Show HN: Undercutf1 – F1 Live Timing TUI with Driver Tracker, Variable Delay (github.com/JustAman62)

301 points

a year ago

48.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com/gvelesandro)

84 points

a year ago

49.

Show HN: A reference implementation of Turing's paper “On Computable Numbers” (github.com/planetlambert)

63 points

3 years ago

50.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

51.

Show HN: Lama2 - Plain-Text Powered REST API Client for Teams (hexmos.com)

37 points

3 years ago

52.

ATLAS: Autoformalized Textbook Library At Scale (github.com/facebookresearch)

32 points

7 days ago

53.

Show HN: Cupcake – Better performance and security for coding agents (via OPA) (github.com/eqtylab)

12 points

6 months ago

54.

Show HN: Tabme – Organizing Bookmarks and Tabs, done right (gettabme.com)

11 points

2 years ago

55.

Show HN: The Atlas – I Built a 3D Universe Simulation with Python and Three.js (github.com/SurceBeats)

8 points

8 months ago

56.

Ask HN: starter books for learning about grammars, parsers and compilers?

7 points

michaelsbradley

13 years ago

57.

Ask HN: User- and privacy-friendly selfhosted alternatives to Matrix?

7 points

3 years ago

58.

Show HN: A Theory of Anxiety Conditions (a-theory-of-anxiety-conditions.github.io)

7 points

4 years ago

59.

Show HN: Autotool – open-source gradual automation (github.com/aklos)

6 points

4 years ago

60.

Show HN: Creating Skew-T Log-P diagrams from the Rapid Refresh (RAP) model (github.com/GribStream)

6 points

a year ago