Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

PyTorch simulator refutes an 18-year-old quantum theorem (github.com/lizbeth307)

16 points

22 days ago

212.

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

12 points

10 years ago

213.

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

12 points

10 years ago

214.

Category Theory abstractions library for Clojure(Script) (github.com/niwibe)

11 points

12 years ago

215.

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

10 points

11 years ago

216.

Show HN: I built a procedural universe in Python to explore simulation theory (github.com/SurceBeats)

9 points

a year ago

217.

What Bayes'theorem tell us (github.com/Windsooon)

8 points

9 years ago

218.

A fun image-processing project marginally related to my learning theory research (github.com/TravisBarryDick)

7 points

NarcolepticFrog

11 years ago

219.

PyEvidence: Practical Evidence Theory for Python (github.com/emiruz)

6 points

5 months ago

220.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com/coredipper)

6 points

5 months ago

221.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

222.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability (github.com/lapisla-prover)

6 points

a year ago

223.

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

6 points

4 years ago

224.

Show HN: Anders CCHM/HTS Theorem Prover (github.com/groupoid)

6 points

4 years ago

225.

The Homotopy Type Theory (HoTT) Game (github.com/thehottgame)

6 points

4 years ago

226.

Collections of Papers and Books about Haskell, Type Theory and Category Theory (github.com/saurabhkukade)

6 points

6 years ago

227.

Category Theory for Programmers – Scala Edition [pdf] (github.com/hmemcpy)

6 points

8 years ago

228.

A memory-bound graph-theoretic proof-of-work system (github.com/tromp)

6 points

8 years ago

229.

A curated list of useful resources for computer language engineering and theory (github.com/NLKNguyen)

6 points

9 years ago

230.

Logic Theorist Reanimated in IPL-V (github.com/jeffshrager)

5 points

3 months ago

231.

Poker4U – Educational game theory and better life decisions (github.com/Lameda12)

5 points

Alamedin_ishere

3 months ago

232.

Toward a new mathematical theory of computation.

5 points

17 years ago

233.

NashPy: Algorithmic Game Theory in Python (github.com/drvinceknight)

5 points

6 years ago

234.

Category Theory for Programmers, OCaml edition (alpha) (github.com/hmemcpy)

5 points

6 years ago

235.

Bartosz Milewski Category Theory for Programmers Unofficial PDF and LaTeX Source (github.com/hmemcpy)

5 points

7 years ago

236.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

5 points

7 years ago

237.

Teoria: JavaScript music theory framework (github.com/saebekassebil)

4 points

13 years ago

238.

Show HN: Django toolset for game theory and economic strategy games (github.com/oTree-org)

4 points

12 years ago

239.

EFfective Field TheORy SurrogaTe: A Cosmological Emulator (github.com/CosmologicalEmulators)

4 points

8 months ago

240.

Show HN: Integrated Predictive Workspace Theory (github.com/dmf-archive)

4 points

a year ago