Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Lean Theorem Prover (github.com/leanprover)

2 points

7 years ago

302.

Hecke.jl: Computational algebraic number theory in Julia (github.com/thofma)

2 points

7 years ago

303.

Category Theory for Programmers (github.com/hmemcpy)

2 points

7 years ago

304.

Arthroprod: Clifford Algebra for the Theory of Absolute Relativity in Rust (github.com/sminez)

2 points

7 years ago

305.

Pown Recon: open-source intelligence framework powered by graph theory (github.com/pownjs)

2 points

7 years ago

306.

Codelab: Versioning is Hard (aka the “SEF theorem”) (github.com/inlined)

2 points

8 years ago

307.

Book in preparation: introduction to theoretical computer science (github.com/boazbk)

2 points

8 years ago

308.

A Game Theoretic Bandit Driven Approach to Pattern Recognition with Logic (github.com/cair)

2 points

8 years ago

309.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com/xennygrimmato)

2 points

8 years ago

310.

General Theory of Reactivity (github.com/kriskowal)

2 points

8 years ago

311.

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

2 points

9 years ago

312.

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

2 points

9 years ago

313.

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

2 points

10 years ago

314.

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

2 points

10 years ago

315.

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

2 points

10 years ago

316.

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

2 points

10 years ago

317.

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

1 point

2 months ago

318.

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

1 point

2 months ago

319.

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

1 point

4 years ago

320.

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

1 point

a month ago

321.

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

1 point

2 months ago

322.

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

1 point

3 years ago

323.

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

1 point

9 years ago

324.

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

1 point

10 years ago

325.

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

1 point

12 years ago

326.

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

1 point

12 years ago

327.

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

1 point

23 days ago

328.

Show HN: MidiStickers – learn music theory visually

1 point

3 months ago

329.

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

1 point

6 months ago

330.

Theories of Rational Decision (github.com/kzollman)

1 point

a year ago