Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: An encoding/decoding tool for Martin David's theoretical S language

github.com/ramadis

10 years ago

12 points

422.

Show HN: An encoding/decoding tool for Martin David's theoretical S language

github.com/ramadis

10 years ago

12 points

423.

What Bayes'theorem tell us

github.com/Windsooon

9 years ago

8 points

424.

A theoretical reconstruction of the Mythos architecture from first principles

github.com/kyegomez

16 days ago

6 points

425.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

426.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability

github.com/lapisla-prover

a year ago

6 points

427.

Show HN: Anders CCHM/HTS Theorem Prover

github.com/groupoid

4 years ago

6 points

428.

A memory-bound graph-theoretic proof-of-work system

github.com/tromp

8 years ago

6 points

429.

Logic Theorist Reanimated in IPL-V

github.com/jeffshrager

4 months ago

5 points

430.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover

github.com/ArnavAgrawal03

a year ago

3 points

431.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

peanoscript.mjgrzymek.com

a year ago

3 points

432.

LLMs as Copilots for Theorem Proving in Lean

github.com/lean-dojo

3 years ago

3 points

433.

ACL2 Sidekick: a graphical aid for the ACL2 theorem prover

github.com/jaredcdavis

12 years ago

3 points

434.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

435.

Show HN: Theoretical Tflops ≠ Real-World Performance – Testing GPU Flops

github.com/mag-

2 years ago

3 points

436.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

437.

Formal Proof of the Four Color Theorem in Coq

github.com/math-comp

7 years ago

3 points

438.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points

439.

Show HN: Chasm – Fault-Tolerant, Information-Theoretic Secure Cloud Backup

github.com/agrinman

10 years ago

3 points

440.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

4 months ago

2 points

441.

Show HN: OpenSciEval-AI Deriving Prime Theorem from Chaos

github.com/maris205

6 months ago

2 points

442.

The Theoretical Limit of Copyright Compromise

gist.github.com

13 years ago

2 points

443.

OpenMythos: an open-source, theoretical implementation of Claude Mythos

github.com/kyegomez

2 months ago

2 points

444.

Refactoring Is Not Heroism – An Information-Theoretic Proof

github.com/HeinrichvH

3 months ago

2 points

445.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points

446.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

447.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

448.

Chyp: An interactive theorem prover for string diagrams

github.com/akissinger

3 years ago

2 points

449.

The Fundamental Theorem of Fourier Series

github.com/MathInspector

5 years ago

2 points

450.

Show HN: Plausibly deniable information-theoretically secure encryption in Ruby

github.com/octetsplicer

6 years ago

2 points