Search: github.com/FormAPI | Heykuki News

HK

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 years ago

082349872349872

2 points

32.

Show HN: Fromation - Build Interdependent AWS Cloud Formation Stacks

github.com/brettweavnet

13 years ago

2 points

33.

PhysLean: Formalising Physics into Lean 4

github.com/lean-phys-community

4 months ago

2 points

34.

A collection of formalized statements of conjectures in Lean

github.com/google-deepmind

9 months ago

2 points

35.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

36.

Show HN: 3D Stellar Formation Simulator

github.com/caiusdfolkerts

a year ago

2 points

37.

Oxide: Building a Formalized Rust for great good

github.com/aatxe

6 years ago

2 points

38.

VueJS and Express and API Gateway with Docker and Cloud Formation

github.com/allanchua101

7 years ago

2 points

39.

Setup a VPN server on an AWS EC2 Instance via single Cloud Formation template.

github.com/weavenet

10 years ago

2 points

40.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

github.com/JQCTeam

a year ago

1 points

41.

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

github.com/FormalTheology

13 years ago

1 points

42.

Lean 4 formalization of Erdős Problem #848 – seeking review

github.com/The-Obstacle-Is-The-Way

5 months ago

vibecodermcswag

1 points

43.

Show HN: Open‑Source Capital Formation OS (Postgres and AI Agents)

github.com/agio711

4 months ago

1 points

44.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

github.com/DebarghaG

7 months ago

1 points

45.

Google-DeepMind/formal-conjectures repository: formalized conjectures

github.com/google-deepmind

a year ago

1 points

46.

Pyano: A formalization of first-order logic and Peano's axioms in Python

github.com/sanjoy

3 years ago

1 points

47.

Show HN: Undercutf1 – F1 Live Timing TUI with Driver Tracker, Variable Delay

github.com/JustAman62

a year ago

301 points

48.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

github.com/gvelesandro

a year ago

84 points

49.

Show HN: A reference implementation of Turing's paper “On Computable Numbers”

github.com/planetlambert

3 years ago

63 points

50.

Yon – a topos-oriented language with a content-addressed lattice heap

18 days ago

48 points

51.

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

3 months ago

FranciscoAngulo

47 points

52.

Show HN: Lama2 - Plain-Text Powered REST API Client for Teams

3 years ago

37 points

53.

ATLAS: Autoformalized Textbook Library At Scale

github.com/facebookresearch

25 days ago

32 points

54.

Show HN: Cupcake – Better performance and security for coding agents (via OPA)

github.com/eqtylab

6 months ago

12 points

55.

Show HN: Tabme – Organizing Bookmarks and Tabs, done right

2 years ago

11 points

56.

Show HN: The Atlas – I Built a 3D Universe Simulation with Python and Three.js

github.com/SurceBeats

9 months ago

8 points

57.

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

13 years ago

michaelsbradley

7 points

58.

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

3 years ago

7 points

59.

Show HN: A Theory of Anxiety Conditions

a-theory-of-anxiety-conditions.github.io

4 years ago

7 points

60.

Show HN: Autotool – open-source gradual automation

github.com/aklos

4 years ago

6 points