Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Explorations of (Synthetic) Homotopy Theory in Coq (github.com/peterlefanulumsdaine)

2 points

9 years ago

332.

Erdos is a very light and modular Graph theoretic algorithms framework for Java (github.com/Erdos-Graph-Framework)

2 points

9 years ago

333.

Nqthm – the original Boyer-Moore theorem prover, from 1992 (github.com/John-Nagle)

2 points

10 years ago

334.

Computer assisted theoretical philosophy (github.com/FormalTheology)

2 points

10 years ago

335.

Show HN: Encoding/Decoding tool for Martin David's theoretical S language (github.com/ramadis)

2 points

10 years ago

336.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

2 points

10 years ago

337.

Cubicaltt: Cubical Type Theory (github.com/mortberg)

2 points

10 years ago

338.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

339.

Theory of Everything: Solved (github.com/Cosmolalia)

1 point

10 months ago

340.

We broke the O(2^N) barrier to compute AI consciousness (Phi) (github.com/InductivityAI)

1 point

2 months ago

341.

A Dominance Theory of Reductive Optimization in Complex Systems (github.com/FairlyInconspicuous)

1 point

2 months ago

342.

FUML – a new data serialization language based on type theory (github.com/sumeetdas)

1 point

4 years ago

343.

Programming as Theory Building – Peter Naur (gist.github.com)

1 point

a month ago

344.

6.6M Tokens. $4,800 Theoretical. Zero Visibility. So I Built a Dashboard (github.com/outcomeops)

1 point

2 months ago

345.

Show HN: The Participatory Interface Theory

1 point

6 months ago

346.

Haskell library for doing category theory with a central role for profunctors (github.com/sjoerdvisscher)

1 point

3 years ago

347.

General Theory of Reactivity (2016) (github.com/kriskowal)

1 point

9 years ago

348.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

1 point

10 years ago

349.

The General Theory of Decentralized Applications, DApps (github.com/DavidJohnstonCEO)

1 point

12 years ago

350.

Show HN: Seth, a JavaScript DSL for Functional Set Theory (github.com/andrejewski)

1 point

12 years ago

351.

Lean Theorem Prover (github.com/leanprover)

1 point

12 years ago

352.

SED_Model – Observation <-> Theory Machine (github.com/nialljmiller)

1 point

23 days ago

353.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)

1 point

a month ago

354.

Refactoring Is Not Heroism – An Information-Theoretic Proof (github.com/HeinrichvH)

1 point

2 months ago

355.

Show HN: MidiStickers – learn music theory visually

1 point

3 months ago

356.

Theorem_ledger.md (github.com/affectively-ai)

1 point

3 months ago

357.

Pyevidence: Practical Evidence Theory (github.com/emiruz)

1 point

5 months ago

358.

Semantic Physics: A General Theory of Mental Motion (github.com/kookisky)

1 point

6 months ago

359.

Ask HN: Have you used SQLite as a primary database?

518 points

4 years ago

360.

Show HN: An open source framework for voice assistants (github.com/pipecat-ai)

346 points

2 years ago