Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

PyEvidence: Practical Evidence Theory for Python

github.com/emiruz

6 months ago

6 points

212.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory

github.com/coredipper

6 months ago

6 points

213.

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

github.com/stanford-mast

7 months ago

6 points

214.

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

github.com/lapisla-prover

a year ago

6 points

215.

A General Theory of Reactivity

github.com/kriskowal

4 years ago

6 points

216.

Show HN: Anders CCHM/HTS Theorem Prover

github.com/groupoid

4 years ago

6 points

217.

The Homotopy Type Theory (HoTT) Game

github.com/thehottgame

4 years ago

6 points

218.

Collections of Papers and Books about Haskell, Type Theory and Category Theory

github.com/saurabhkukade

6 years ago

6 points

219.

Category Theory for Programmers – Scala Edition [pdf]

github.com/hmemcpy

8 years ago

6 points

220.

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

github.com/tromp

8 years ago

6 points

221.

A curated list of useful resources for computer language engineering and theory

github.com/NLKNguyen

9 years ago

6 points

222.

Logic Theorist Reanimated in IPL-V

github.com/jeffshrager

4 months ago

5 points

223.

Show HN: I applied Lyapunov stability theory to detect when LLM agents spiral

github.com/vishal-dehurdle

14 days ago

5 points

224.

Poker4U – Educational game theory and better life decisions

github.com/Lameda12

4 months ago

Alamedin_ishere

5 points

225.

Toward a new mathematical theory of computation.

17 years ago

5 points

226.

NashPy: Algorithmic Game Theory in Python

github.com/drvinceknight

6 years ago

5 points

227.

Category Theory for Programmers, OCaml edition (alpha)

github.com/hmemcpy

6 years ago

5 points

228.

Bartosz Milewski Category Theory for Programmers Unofficial PDF and LaTeX Source

github.com/hmemcpy

7 years ago

5 points

229.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

8 years ago

5 points

230.

Teoria: JavaScript music theory framework

github.com/saebekassebil

13 years ago

4 points

231.

Show HN: Django toolset for game theory and economic strategy games

github.com/oTree-org

12 years ago

4 points

232.

EFfective Field TheORy SurrogaTe: A Cosmological Emulator

github.com/CosmologicalEmulators

9 months ago

4 points

233.

Show HN: Integrated Predictive Workspace Theory

github.com/dmf-archive

a year ago

4 points

234.

Show HN: Toqito–A Python library for research in quantum information theory

github.com/vprusso

2 years ago

4 points

235.

Show HN: Learn music theory with Ableton Push, WebMIDI and WebUSB display driver

github.com/greyivy

5 years ago

4 points

236.

Collections of Papers and Books about Haskell, Type Theory and Category Theory

github.com/saurabhkukade

6 years ago

4 points

237.

A List of Resources for Learning Type Theory

github.com/jozefg

8 years ago

4 points

238.

LaTTe: a Laboratory for Type Theory experiments (in clojure)

github.com/latte-central

10 years ago

4 points

239.

Show HN: Alice Architecture: An Attempt at Autonomous AGI Based on ±0 Theory

github.com/xian367422611213344-source

7 months ago

3 points

240.

I have build model of only 1700 lines of code based on my brain theory

github.com/vincent2o1

a year ago

3 points