Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: CTRS – Notes on Category Theory in Rust (github.com/damienstanton)

3 points

8 years ago

122.

Toccata: A Clojure-inspired Native Lisp for Category Theory (github.com/jduey)

3 points

12 years ago

123.

Zen - A new Python graph theory library (github.com/networkdynamics)

3 points

13 years ago

124.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com/solomon-b)

3 points

2 months ago

125.

Economítra: Synthesizing information theory and game theory for market design (github.com/WGlynn)

3 points

2 months ago

126.

Units Digit of a Power: A Constant-Time Algorithm Using a Little Number Theory (emboss.github.com)

3 points

14 years ago

127.

Category Theory for Programmers (github.com/hmemcpy)

3 points

8 months ago

128.

TypeFunc: Resources for type theory, functional programming, etc. (github.com/williamdemeo)

3 points

2 years ago

129.

Category Theory Library for Agda (github.com/agda)

3 points

4 years ago

130.

Graph Theory in C++ (github.com/ZigRazor)

3 points

5 years ago

131.

AI Physicist, a paradigm with algorithms for learning theories from data (github.com/tailintalent)

3 points

5 years ago

132.

Introduction to Homotopy Type Theory (github.com/EgbertRijke)

3 points

6 years ago

133.

The political theory behind Urbit (github.com/mbrubeck)

3 points

6 years ago

134.

I open-sourced my interactive music theory website, written with TypeScri (cont) (github.com/ColeDeanShepherd)

3 points

6 years ago

135.

New form of logic. Need help. Not theory, have working models

3 points

7 years ago

136.

Hacker-laws: Laws, Theories, Principles and Patterns developers will find useful (github.com/dwmkerr)

3 points

7 years ago

137.

Abstract Algebra: Theory and Applications (github.com/twjudson)

3 points

7 years ago

138.

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

3 points

7 years ago

139.

PyTheory:Music Theory for Humans (github.com/kennethreitz)

3 points

8 years ago

140.

Tonal: A functional music theory library for JavaScript (github.com/danigb)

3 points

9 years ago

141.

Show HN: Fluokitten - category theory in idiomatic Clojure (github.com/uncomplicate)

2 points

13 years ago

142.

My math theory to automata Hilbert, Fourier and integral orders (github.com/tambetvali)

2 points

4 months ago

143.

Added Quantum Field Theory to a Radiation Simulator for 22% Better Predictions (github.com/r0nlt)

2 points

a year ago

144.

Resources for the Theory of Programming Languages (github.com/veyselusta)

2 points

2 years ago

145.

Resolving a workplace dilemma using game theory (gist.github.com)

2 points

4 years ago

146.

The General Theory of Decentralized Applications, DApps (github.com/DavidJohnstonCEO)

2 points

12 years ago

147.

Incorporate monads and category theory to Promises/A+ (github.com/promises-aplus)

2 points

13 years ago

148.

Vibe Theory: Mathematical Derivation of Aesthetic Vibe from Text (github.com/xraymemory)

2 points

3 months ago

149.

Show HN: Tau Router – Using Number-Theory to Partition Long-Context Retrieval (github.com/davidames0523)

2 points

3 months ago

150.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

3 months ago