Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

The Homotopy Type Theory (HoTT) Game (github.com/thehottgame)

6 points

4 years ago

92.

Collections of Papers and Books about Haskell, Type Theory and Category Theory (github.com/saurabhkukade)

6 points

6 years ago

93.

Category Theory for Programmers – Scala Edition [pdf] (github.com/hmemcpy)

6 points

8 years ago

94.

A curated list of useful resources for computer language engineering and theory (github.com/NLKNguyen)

6 points

9 years ago

95.

Poker4U – Educational game theory and better life decisions (github.com/Lameda12)

5 points

Alamedin_ishere

3 months ago

96.

Toward a new mathematical theory of computation.

5 points

17 years ago

97.

NashPy: Algorithmic Game Theory in Python (github.com/drvinceknight)

5 points

6 years ago

98.

Category Theory for Programmers, OCaml edition (alpha) (github.com/hmemcpy)

5 points

6 years ago

99.

Bartosz Milewski Category Theory for Programmers Unofficial PDF and LaTeX Source (github.com/hmemcpy)

5 points

7 years ago

100.

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

5 points

7 years ago

101.

Teoria: JavaScript music theory framework (github.com/saebekassebil)

4 points

13 years ago

102.

Show HN: Django toolset for game theory and economic strategy games (github.com/oTree-org)

4 points

12 years ago

103.

EFfective Field TheORy SurrogaTe: A Cosmological Emulator (github.com/CosmologicalEmulators)

4 points

8 months ago

104.

Show HN: Integrated Predictive Workspace Theory (github.com/dmf-archive)

4 points

a year ago

105.

Show HN: Toqito–A Python library for research in quantum information theory (github.com/vprusso)

4 points

2 years ago

106.

Show HN: Learn music theory with Ableton Push, WebMIDI and WebUSB display driver (github.com/greyivy)

4 points

5 years ago

107.

Collections of Papers and Books about Haskell, Type Theory and Category Theory (github.com/saurabhkukade)

4 points

6 years ago

108.

A List of Resources for Learning Type Theory (github.com/jozefg)

4 points

8 years ago

109.

LaTTe: a Laboratory for Type Theory experiments (in clojure) (github.com/latte-central)

4 points

9 years ago

110.

Show HN: Alice Architecture: An Attempt at Autonomous AGI Based on ±0 Theory (github.com/xian367422611213344-source)

3 points

6 months ago

111.

I have build model of only 1700 lines of code based on my brain theory (github.com/vincent2o1)

3 points

a year ago

112.

Show HN: My Prime Number Theory Repo (github.com/poletopole)

3 points

2 years ago

113.

NumClass – a Python CLI classifying integers into 200 number-theory properties (github.com/c788630)

3 points

3 months ago

114.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms (github.com/realadeel)

3 points

4 months ago

115.

Show HN: A JS-scriptable graph theory experimentation tool (github.com/blackhole89)

3 points

8 years ago

116.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago

117.

Cholula: Frameworks for Memecoin Theory, Valuation and Regulation (github.com/cholulz)

3 points

a year ago

118.

IBM AI Descartes: Combining Data and Theory for Derivable Scientific Discovery (github.com/IBM)

3 points

4 years ago

119.

A Universal Theory for Everything (github.com/anon-phys)

3 points

5 years ago

120.

Literate Visualization: Theory, software and examples (github.com/gicentre)

3 points

8 years ago