Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Causal Analysis based on System Theory (CAST)

github.com/joelparkerhenderson

5 years ago

4 points

152.

Data science interview questions and answers

github.com/alexeygrigorev

6 years ago

2 points

153.

Category Theory for Programmers

github.com/hmemcpy

8 years ago

2 points

154.

Category Theory for Programmers (2014) [pdf]

github.com/hmemcpy

6 years ago

403 points

155.

Coltrane: A music theory library with a command-line interface

github.com/pedrozath

3 years ago

387 points

156.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

157.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

158.

LLMs, Theory of Mind, and Cheryl's Birthday

github.com/norvig

2 years ago

290 points

159.

Tonal.js: Functional music theory lib

github.com/tonaljs

2 years ago

277 points

160.

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

github.com/vpavlenko

3 years ago

vitaly-pavlenko

227 points

161.

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

github.com/dwmkerr

7 years ago

203 points

162.

Programming as Theory Building (1985)

gist.github.com

6 years ago

193 points

163.

A Path to Programming Language Theory

github.com/steshaw

10 years ago

174 points

164.

Show HN: Algebraic Number Theory in Python 3

github.com/louisabraham

8 years ago

157 points

165.

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

github.com/eashanhatti

4 years ago

151 points

166.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points

167.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

168.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

169.

A General Theory of Reactivity

github.com/kriskowal

11 years ago

103 points

170.

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

2 years ago

vitaly-pavlenko

101 points

171.

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

github.com/dwmkerr

7 years ago

92 points

172.

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

github.com/NASA-SW-VnV

4 years ago

91 points

173.

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

github.com/hmemcpy

9 years ago

91 points

174.

Catlab.jl: Experimental framework for applied category theory

github.com/epatters

7 years ago

90 points

175.

ShannonMax: A Library to Optimize Emacs Keybindings with Information Theory

github.com/sstraust

4 months ago

83 points

176.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

177.

Show HN: Teoria.js - Music theory for JavaScript

saebekassebil.github.com

13 years ago

77 points

178.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

179.

Holbert: An Interactive Theorem Prover

github.com/liamoc

4 years ago

68 points

180.

Categories: An implementation of category theory in Coq

github.com/amintimany

10 years ago

68 points