Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

2 points

2 years ago

152.

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

2 points

3 years ago

153.

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

2 points

3 years ago

154.

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

2 points

5 years ago

155.

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

2 points

5 years ago

156.

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

2 points

6 years ago

157.

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

2 points

6 years ago

158.

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

2 points

6 years ago

159.

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

2 points

6 years ago

160.

Hecke.jl: Computational algebraic number theory in Julia (github.com/thofma)

2 points

7 years ago

161.

Category Theory for Programmers (github.com/hmemcpy)

2 points

7 years ago

162.

Arthroprod: Clifford Algebra for the Theory of Absolute Relativity in Rust (github.com/sminez)

2 points

7 years ago

163.

Pown Recon: open-source intelligence framework powered by graph theory (github.com/pownjs)

2 points

7 years ago

164.

General Theory of Reactivity (github.com/kriskowal)

2 points

8 years ago

165.

Explorations of (Synthetic) Homotopy Theory in Coq (github.com/peterlefanulumsdaine)

2 points

9 years ago

166.

Cubicaltt: Cubical Type Theory (github.com/mortberg)

2 points

10 years ago

167.

Theory of Everything: Solved (github.com/Cosmolalia)

1 point

10 months ago

168.

A Dominance Theory of Reductive Optimization in Complex Systems (github.com/FairlyInconspicuous)

1 point

2 months ago

169.

FUML – a new data serialization language based on type theory (github.com/sumeetdas)

1 point

4 years ago

170.

Programming as Theory Building – Peter Naur (gist.github.com)

1 point

a month ago

171.

Show HN: Locational Variable Theory – An informational framework for physics (github.com/TobeyStar)

1 point

4 months ago

172.

Show HN: The Participatory Interface Theory

1 point

6 months ago

173.

Haskell library for doing category theory with a central role for profunctors (github.com/sjoerdvisscher)

1 point

3 years ago

174.

General Theory of Reactivity (2016) (github.com/kriskowal)

1 point

9 years ago

175.

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

1 point

12 years ago

176.

Show HN: Seth, a JavaScript DSL for Functional Set Theory (github.com/andrejewski)

1 point

12 years ago

177.

SED_Model – Observation <-> Theory Machine (github.com/nialljmiller)

1 point

22 days ago

178.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)

1 point

a month ago

179.

Show HN: MidiStickers – learn music theory visually

1 point

3 months ago

180.

Pyevidence: Practical Evidence Theory (github.com/emiruz)

1 point

5 months ago