Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: Dealta – A game-theoretic decentralized trading protocol

github.com/orgs

6 months ago

56 points

182.

Cuckoo: a memory-bound graph-theoretic proof-of-work system

github.com/tromp

10 years ago

56 points

183.

Information Theory for Machine Learning [pdf]

github.com/mtomassoli

10 years ago

55 points

184.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

185.

Programming as Theory Building (1985)

gist.github.com

2 years ago

50 points

186.

Attacks on Anonymity Systems: The Theory (2003)

github.com/Dicklesworthstone

2 years ago

47 points

187.

Tc – Theodore Calvin's language-agnostic testing framework

github.com/ahoward

6 months ago

43 points

188.

Show HN: FLP Impossibility Theorem Proof in Coq

github.com/ConsensusResearch

11 years ago

38 points

189.

A fun image-processing project marginally related to my learning theory research

github.com/TravisBarryDick

11 years ago

NarcolepticFrog

36 points

190.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

191.

A General Theory of Reactivity

github.com/kriskowal

11 years ago

27 points

192.

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

ramadis.github.com

10 years ago

24 points

193.

Information Theoretic Learning Auto-Encoders

github.com/cnel

10 years ago

24 points

194.

React – Basic Theoretical Concepts

github.com/reactjs

10 years ago

19 points

195.

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

github.com/NASA-SW-VnV

5 months ago

18 points

196.

Theory of winter-fasting and the cure for cancer

github.com/albinsjolin

4 years ago

17 points

197.

PyTorch simulator refutes an 18-year-old quantum theorem

github.com/lizbeth307

a month ago

16 points

198.

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

github.com/ramadis

10 years ago

12 points

199.

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

github.com/ramadis

10 years ago

12 points

200.

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

github.com/vishal-dehurdle

12 days ago

11 points

201.

Category Theory abstractions library for Clojure(Script)

github.com/niwibe

12 years ago

11 points

202.

A General Theory of Reactivity

github.com/kriskowal

12 years ago

10 points

203.

Show HN: I built a procedural universe in Python to explore simulation theory

github.com/SurceBeats

a year ago

9 points

204.

What Bayes'theorem tell us

github.com/Windsooon

9 years ago

8 points

205.

A fun image-processing project marginally related to my learning theory research

github.com/TravisBarryDick

11 years ago

NarcolepticFrog

7 points

206.

A theoretical reconstruction of the Mythos architecture from first principles

github.com/kyegomez

16 days ago

6 points

207.

PyEvidence: Practical Evidence Theory for Python

github.com/emiruz

6 months ago

6 points

208.

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

github.com/coredipper

6 months ago

6 points

209.

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

github.com/stanford-mast

7 months ago

6 points

210.

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

github.com/lapisla-prover

a year ago

6 points