Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Laws, theories, principles and patterns that developers might find useful (github.com/dwmkerr)

92 points

7 years ago

182.

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

91 points

4 years ago

183.

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

91 points

9 years ago

184.

Catlab.jl: Experimental framework for applied category theory (github.com/epatters)

90 points

7 years ago

185.

ShannonMax: A Library to Optimize Emacs Keybindings with Information Theory (github.com/sstraust)

83 points

4 months ago

186.

Lean theorem prover mathlib (github.com/leanprover-community)

83 points

6 months ago

187.

Show HN: Teoria.js - Music theory for JavaScript (saebekassebil.github.com)

77 points

13 years ago

188.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

189.

Holbert: An Interactive Theorem Prover (github.com/liamoc)

68 points

4 years ago

190.

Categories: An implementation of category theory in Coq (github.com/amintimany)

68 points

10 years ago

191.

A Coq development of a theory of lightweight cryptographic ledgers (github.com/billlwhite)

67 points

11 years ago

192.

Show HN: A small, simple music theory library in C99 (github.com/thelowsunoverthemoon)

57 points

4 months ago

193.

Show HN: Dealta – A game-theoretic decentralized trading protocol (github.com/orgs)

56 points

5 months ago

194.

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

56 points

10 years ago

195.

Information Theory for Machine Learning [pdf] (github.com/mtomassoli)

55 points

10 years ago

196.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

197.

Programming as Theory Building (1985) (gist.github.com)

50 points

2 years ago

198.

Attacks on Anonymity Systems: The Theory (2003) (github.com/Dicklesworthstone)

47 points

2 years ago

199.

Tc – Theodore Calvin's language-agnostic testing framework (github.com/ahoward)

43 points

5 months ago

200.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

201.

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

36 points

NarcolepticFrog

11 years ago

202.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

203.

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

27 points

11 years ago

204.

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

24 points

10 years ago

205.

Information Theoretic Learning Auto-Encoders (github.com/cnel)

24 points

10 years ago

206.

React – Basic Theoretical Concepts (github.com/reactjs)

19 points

10 years ago

207.

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

18 points

5 months ago

208.

Theory of winter-fasting and the cure for cancer (github.com/albinsjolin)

17 points

4 years ago

209.

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

16 points

22 days ago

210.

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

12 points

10 years ago