Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

5 points

7 years ago

152.

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

4 points

13 years ago

153.

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

4 points

12 years ago

154.

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

4 points

8 months ago

155.

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

4 points

a year ago

156.

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

4 points

2 years ago

157.

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

4 points

5 years ago

158.

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

4 points

6 years ago

159.

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

4 points

8 years ago

160.

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

4 points

9 years ago

161.

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

3 points

6 months ago

162.

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

3 points

a year ago

163.

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

3 points

2 years ago

164.

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

3 points

3 months ago

165.

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

3 points

4 months ago

166.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover (github.com/ArnavAgrawal03)

3 points

a year ago

167.

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

3 points

8 years ago

168.

Show HN: I tried coding theology – accidentally built AI accountability (github.com/ubunturbo)

3 points

9 months ago

169.

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

3 points

10 months ago

170.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)

3 points

a year ago

171.

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

3 points

a year ago

172.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

173.

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

3 points

4 years ago

174.

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

3 points

5 years ago

175.

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

3 points

8 years ago

176.

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

3 points

8 years ago

177.

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

3 points

12 years ago

178.

ACL2 Sidekick: a graphical aid for the ACL2 theorem prover (github.com/jaredcdavis)

3 points

12 years ago

179.

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

3 points

13 years ago

180.

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

3 points

2 months ago