Search: github.com/thecopy | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

77 points

13 years ago

92.

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

68 points

10 years ago

93.

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

67 points

11 years ago

94.

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

57 points

4 months ago

95.

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

55 points

10 years ago

96.

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

50 points

2 years ago

97.

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

47 points

2 years ago

98.

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

36 points

NarcolepticFrog

11 years ago

99.

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

27 points

11 years ago

100.

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

18 points

5 months ago

101.

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

17 points

4 years ago

102.

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

11 points

12 years ago

103.

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

10 points

11 years ago

104.

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

9 points

a year ago

105.

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

7 points

NarcolepticFrog

11 years ago

106.

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

6 points

5 months ago

107.

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

6 points

5 months ago

108.

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

6 points

4 years ago

109.

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

6 points

4 years ago

110.

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

6 points

6 years ago

111.

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

6 points

8 years ago

112.

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

6 points

9 years ago

113.

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

5 points

Alamedin_ishere

3 months ago

114.

Toward a new mathematical theory of computation.

5 points

17 years ago

115.

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

5 points

6 years ago

116.

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

5 points

6 years ago

117.

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

5 points

7 years ago

118.

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

5 points

7 years ago

119.

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

4 points

13 years ago

120.

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

4 points

12 years ago