Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

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

4 points

8 years ago

242.

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

4 points

9 years ago

243.

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

3 points

6 months ago

244.

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

3 points

a year ago

245.

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

3 points

2 years ago

246.

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

3 points

3 months ago

247.

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

3 points

4 months ago

248.

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

3 points

a year ago

249.

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

3 points

8 years ago

250.

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

3 points

9 months ago

251.

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

3 points

10 months ago

252.

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

3 points

a year ago

253.

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

3 points

a year ago

254.

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

3 points

2 years ago

255.

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

3 points

4 years ago

256.

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

3 points

5 years ago

257.

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

3 points

8 years ago

258.

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

3 points

8 years ago

259.

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

3 points

12 years ago

260.

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

3 points

12 years ago

261.

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

3 points

13 years ago

262.

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

3 points

2 months ago

263.

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

3 points

2 months ago

264.

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

3 points

14 years ago

265.

Category Theory for Programmers (github.com/hmemcpy)

3 points

8 months ago

266.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

267.

Show HN: Theoretical Tflops ≠ Real-World Performance – Testing GPU Flops (github.com/mag-)

3 points

2 years ago

268.

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

3 points

2 years ago

269.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

270.

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

3 points

4 years ago