Search: github.com/thecopy | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

3 points

6 years ago

152.

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

3 points

6 years ago

153.

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

3 points

7 years ago

154.

CLI-Cbt – A Command Line Tool for Practicing Cognitive Behavioural Therapy (github.com/FlinnBurgess)

3 points

7 years ago

155.

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

3 points

7 years ago

156.

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

3 points

7 years ago

157.

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

3 points

8 years ago

158.

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

3 points

9 years ago

159.

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

2 points

13 years ago

160.

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

2 points

4 months ago

161.

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

2 points

a year ago

162.

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

2 points

2 years ago

163.

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

2 points

4 years ago

164.

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

2 points

12 years ago

165.

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

2 points

13 years ago

166.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor (github.com/ninjahawk)

2 points

13 days ago

167.

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

2 points

3 months ago

168.

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

2 points

3 months ago

169.

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

2 points

3 months ago

170.

Show HN: OpenGnothia – Open-source AI therapy companion (BYOK) (opengnothia.com)

2 points

4 months ago

171.

Observer Effect in Abelian Probability Theory – Code (github.com/lcsig)

2 points

2 years ago

172.

A Theory of Compositional Tool-Assisted Speedrunning (gist.github.com)

2 points

3 years ago

173.

A Theory of Compositional Tool-Assisted Speedrunning (gist.github.com)

2 points

3 years ago

174.

A pure Golang SQL database for database theory research (github.com/auxten)

2 points

5 years ago

175.

Redtt a proof assistant for cartesian cubical type theory (github.com/RedPRL)

2 points

5 years ago

176.

Bastet: A ReasonML/OCaml library for category theory and abstract algebra (github.com/Risto-Stevcev)

2 points

6 years ago

177.

Therapy Through Spotify (github.com/kabirvirji)

2 points

6 years ago

178.

Fractal AI: A Fragile Theory of Intelligence (github.com/Guillemdb)

2 points

6 years ago

179.

Visualizations connecting chaos theory, fractals, and the logistic map (github.com/jonnyhyman)

2 points

6 years ago

180.

Seth Is JavaScript DSL for Functional Set Theory (github.com/andrejewski)

2 points

6 years ago