Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

LLMs, Theory of Mind, and Cheryl's Birthday

github.com/norvig

2 years ago

290 points

62.

Tonal.js: Functional music theory lib

github.com/tonaljs

2 years ago

277 points

63.

Awesome Music Theory: books, links, videos, research, visuals, composition

github.com/vpavlenko

3 years ago

vitaly-pavlenko

227 points

64.

Hacker Laws: Theories, principles and patterns that developers will find useful

github.com/dwmkerr

7 years ago

203 points

65.

Programming as Theory Building (1985)

gist.github.com

6 years ago

193 points

66.

A Path to Programming Language Theory

github.com/steshaw

10 years ago

174 points

67.

Show HN: Algebraic Number Theory in Python 3

github.com/louisabraham

8 years ago

157 points

68.

Show HN: Peridot – A functional language based on two-level type theory

github.com/eashanhatti

4 years ago

151 points

69.

A General Theory of Reactivity

github.com/kriskowal

11 years ago

103 points

70.

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

2 years ago

vitaly-pavlenko

101 points

71.

Laws, theories, principles and patterns that developers might find useful

github.com/dwmkerr

7 years ago

92 points

72.

IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

4 years ago

91 points

73.

Bartosz Milewski's 'Category Theory for Programmers' Unofficial PDF/LaTeX Source

github.com/hmemcpy

9 years ago

91 points

74.

Catlab.jl: Experimental framework for applied category theory

github.com/epatters

7 years ago

90 points

75.

ShannonMax: A Library to Optimize Emacs Keybindings with Information Theory

github.com/sstraust

4 months ago

83 points

76.

Show HN: Teoria.js - Music theory for JavaScript

saebekassebil.github.com

13 years ago

77 points

77.

Categories: An implementation of category theory in Coq

github.com/amintimany

10 years ago

68 points

78.

A Coq development of a theory of lightweight cryptographic ledgers

github.com/billlwhite

11 years ago

67 points

79.

Show HN: A small, simple music theory library in C99

github.com/thelowsunoverthemoon

4 months ago

57 points

80.

Information Theory for Machine Learning [pdf]

github.com/mtomassoli

10 years ago

55 points

81.

Programming as Theory Building (1985)

gist.github.com

2 years ago

50 points

82.

Attacks on Anonymity Systems: The Theory (2003)

github.com/Dicklesworthstone

2 years ago

47 points

83.

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

github.com/TravisBarryDick

11 years ago

NarcolepticFrog

36 points

84.

A General Theory of Reactivity

github.com/kriskowal

11 years ago

27 points

85.

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

github.com/NASA-SW-VnV

5 months ago

18 points

86.

Theory of winter-fasting and the cure for cancer

github.com/albinsjolin

4 years ago

17 points

87.

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

github.com/vishal-dehurdle

11 days ago

11 points

88.

Category Theory abstractions library for Clojure(Script)

github.com/niwibe

12 years ago

11 points

89.

A General Theory of Reactivity

github.com/kriskowal

12 years ago

10 points

90.

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

github.com/SurceBeats

a year ago

9 points