Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Resolving a workplace dilemma using game theory

gist.github.com

4 years ago

2 points

152.

The General Theory of Decentralized Applications, DApps

github.com/DavidJohnstonCEO

12 years ago

2 points

153.

Incorporate monads and category theory to Promises/A+

github.com/promises-aplus

13 years ago

2 points

154.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor

github.com/ninjahawk

a month ago

2 points

155.

Vibe Theory: Mathematical Derivation of Aesthetic Vibe from Text

github.com/xraymemory

4 months ago

2 points

156.

Show HN: Tau Router – Using Number-Theory to Partition Long-Context Retrieval

github.com/davidames0523

4 months ago

2 points

157.

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

4 months ago

2 points

158.

Observer Effect in Abelian Probability Theory – Code

github.com/lcsig

2 years ago

2 points

159.

A Theory of Compositional Tool-Assisted Speedrunning

gist.github.com

3 years ago

2 points

160.

A Theory of Compositional Tool-Assisted Speedrunning

gist.github.com

3 years ago

2 points

161.

A pure Golang SQL database for database theory research

github.com/auxten

5 years ago

2 points

162.

Redtt a proof assistant for cartesian cubical type theory

github.com/RedPRL

5 years ago

2 points

163.

Bastet: A ReasonML/OCaml library for category theory and abstract algebra

github.com/Risto-Stevcev

6 years ago

2 points

164.

Fractal AI: A Fragile Theory of Intelligence

github.com/Guillemdb

6 years ago

2 points

165.

Visualizations connecting chaos theory, fractals, and the logistic map

github.com/jonnyhyman

6 years ago

2 points

166.

Seth Is JavaScript DSL for Functional Set Theory

github.com/andrejewski

6 years ago

2 points

167.

Hecke.jl: Computational algebraic number theory in Julia

github.com/thofma

7 years ago

2 points

168.

Category Theory for Programmers

github.com/hmemcpy

7 years ago

2 points

169.

Arthroprod: Clifford Algebra for the Theory of Absolute Relativity in Rust

github.com/sminez

7 years ago

2 points

170.

Pown Recon: open-source intelligence framework powered by graph theory

github.com/pownjs

7 years ago

2 points

171.

General Theory of Reactivity

github.com/kriskowal

8 years ago

2 points

172.

Explorations of (Synthetic) Homotopy Theory in Coq

github.com/peterlefanulumsdaine

9 years ago

2 points

173.

Cubicaltt: Cubical Type Theory

github.com/mortberg

10 years ago

2 points

174.

Theory of Everything: Solved

github.com/Cosmolalia

a year ago

1 points

175.

A Dominance Theory of Reductive Optimization in Complex Systems

github.com/FairlyInconspicuous

3 months ago

1 points

176.

FUML – a new data serialization language based on type theory

github.com/sumeetdas

4 years ago

1 points

177.

Programming as Theory Building – Peter Naur

gist.github.com

2 months ago

1 points

178.

Show HN: Locational Variable Theory – An informational framework for physics

github.com/TobeyStar

4 months ago

1 points

179.

Show HN: The Participatory Interface Theory

7 months ago

1 points

180.

Haskell library for doing category theory with a central role for profunctors

github.com/sjoerdvisscher

3 years ago

1 points