Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Awesome Music Theory: books, links, videos, research, visuals, composition (github.com/vpavlenko)

227 points

vitaly-pavlenko

3 years ago

62.

Hacker Laws: Theories, principles and patterns that developers will find useful (github.com/dwmkerr)

203 points

7 years ago

63.

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

193 points

6 years ago

64.

A Path to Programming Language Theory (github.com/steshaw)

174 points

10 years ago

65.

Show HN: Algebraic Number Theory in Python 3 (github.com/louisabraham)

157 points

8 years ago

66.

Show HN: Peridot – A functional language based on two-level type theory (github.com/eashanhatti)

151 points

4 years ago

67.

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

103 points

11 years ago

68.

Show HN: 12-colored visual interactive music theory for pop/rock MIDI (+Github) (rawl.rocks)

101 points

vitaly-pavlenko

2 years ago

69.

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

92 points

7 years ago

70.

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

91 points

4 years ago

71.

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

91 points

9 years ago

72.

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

90 points

7 years ago

73.

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

83 points

4 months ago

74.

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

77 points

13 years ago

75.

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

68 points

10 years ago

76.

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

67 points

11 years ago

77.

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

57 points

4 months ago

78.

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

55 points

10 years ago

79.

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

50 points

2 years ago

80.

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

47 points

2 years ago

81.

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

36 points

NarcolepticFrog

11 years ago

82.

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

27 points

11 years ago

83.

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

18 points

5 months ago

84.

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

17 points

4 years ago

85.

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

11 points

12 years ago

86.

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

10 points

11 years ago

87.

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

9 points

a year ago

88.

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

7 points

NarcolepticFrog

11 years ago

89.

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

6 points

5 months ago

90.

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

6 points

5 months ago