Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Lean Theorem Prover

github.com/leanprover

7 years ago

2 points

452.

Versioning is Hard (aka the “SEF theorem”)

github.com/inlined

8 years ago

2 points

453.

Codelab: Versioning is Hard (aka the “SEF theorem”)

github.com/inlined

8 years ago

2 points

454.

Book in preparation: introduction to theoretical computer science

github.com/boazbk

8 years ago

2 points

455.

A Game Theoretic Bandit Driven Approach to Pattern Recognition with Logic

github.com/cair

8 years ago

2 points

456.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python

github.com/xennygrimmato

8 years ago

2 points

457.

Erdos is a very light and modular Graph theoretic algorithms framework for Java

github.com/Erdos-Graph-Framework

9 years ago

2 points

458.

Nqthm – the original Boyer-Moore theorem prover, from 1992

github.com/John-Nagle

10 years ago

2 points

459.

Computer assisted theoretical philosophy

github.com/FormalTheology

10 years ago

2 points

460.

Show HN: Encoding/Decoding tool for Martin David's theoretical S language

github.com/ramadis

10 years ago

2 points

461.

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

github.com/ramadis

10 years ago

2 points

462.

Show HN: The Z3 theorem can now be built using CMake

github.com/Z3Prover

10 years ago

2 points

463.

6.6M Tokens. $4,800 Theoretical. Zero Visibility. So I Built a Dashboard

github.com/outcomeops

3 months ago

1 points

464.

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

github.com/ramadis

10 years ago

1 points

465.

Lean Theorem Prover

github.com/leanprover

12 years ago

1 points

466.

Refactoring Is Not Heroism – An Information-Theoretic Proof

github.com/HeinrichvH

3 months ago

1 points

467.

Theorem_ledger.md

github.com/affectively-ai

3 months ago

1 points

468.

TurnFormal: Theorem Prover Written in Rust

github.com/Turnersoft

a year ago

1 points

469.

The Central Limit Theorem and its misuse (2020)

github.com/lambdaclass

a year ago

1 points

470.

Basado: A systems programming language with theoretical comp. sci. concepts

github.com/MiguelX413

3 years ago

1 points

471.

First order logic theorem prover in pure Python

github.com/evhub

3 years ago

1 points

472.

Nanoda: Type checker for the Lean theorem prover in Rust

github.com/ammkrn

7 years ago

1 points

473.

Cuckoo Cycle – A graph-theoretic ASIC resistant proof-of-work algorithm

github.com/tromp

8 years ago

1 points

474.

Quantum info theorist Chris Ferrie is now publishing referee reports on GitHub

github.com/csferrie

9 years ago

1 points

475.

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

github.com/ramadis

10 years ago

1 points

476.

Show HN: I created a JavaScript library to encode Martin David's theoretical language

github.com/ramadis

10 years ago

1 points

477.

Fibonacci heap (theoretically faster) vs. binary heap running times compared

github.com/danielborowski

10 years ago

1 points

478.

The Princess and CAP Theorem

11 years ago

1 points

479.

Show HN: Open-sourced Webflow for your own app

github.com/onlook-dev

2 years ago

336 points

480.

Unfinished game – learn by practice

github.com/rezoner

12 years ago

214 points