Search: github.com/thecopy | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

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

4 points

12 years ago

122.

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

4 points

8 months ago

123.

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

4 points

a year ago

124.

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

4 points

2 years ago

125.

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

4 points

5 years ago

126.

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

4 points

6 years ago

127.

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

4 points

8 years ago

128.

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

4 points

9 years ago

129.

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

3 points

6 months ago

130.

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

3 points

a year ago

131.

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

3 points

2 years ago

132.

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

3 points

3 months ago

133.

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

3 points

4 months ago

134.

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

3 points

8 years ago

135.

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

3 points

10 months ago

136.

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

3 points

a year ago

137.

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

3 points

4 years ago

138.

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

3 points

5 years ago

139.

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

3 points

8 years ago

140.

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

3 points

8 years ago

141.

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

3 points

12 years ago

142.

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

3 points

13 years ago

143.

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

3 points

2 months ago

144.

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

3 points

2 months ago

145.

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

3 points

14 years ago

146.

Category Theory for Programmers (github.com/hmemcpy)

3 points

8 months ago

147.

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

3 points

2 years ago

148.

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

3 points

4 years ago

149.

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

3 points

5 years ago

150.

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

3 points

6 years ago