Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

IBM AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

4 years ago

3 points

242.

A Universal Theory for Everything

github.com/anon-phys

5 years ago

3 points

243.

Literate Visualization: Theory, software and examples

github.com/gicentre

8 years ago

3 points

244.

Show HN: CTRS – Notes on Category Theory in Rust

github.com/damienstanton

8 years ago

3 points

245.

Toccata: A Clojure-inspired Native Lisp for Category Theory

github.com/jduey

12 years ago

3 points

246.

ACL2 Sidekick: a graphical aid for the ACL2 theorem prover

github.com/jaredcdavis

12 years ago

3 points

247.

Zen - A new Python graph theory library

github.com/networkdynamics

13 years ago

3 points

248.

Show HN: I applied Lyapunov stability theory to detect when LLM agents spiral

github.com/vishal-dehurdle

3 days ago

3 points

249.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

github.com/solomon-b

2 months ago

3 points

250.

Economítra: Synthesizing information theory and game theory for market design

github.com/WGlynn

3 months ago

3 points

251.

Units Digit of a Power: A Constant-Time Algorithm Using a Little Number Theory

emboss.github.com

14 years ago

3 points

252.

Category Theory for Programmers

github.com/hmemcpy

9 months ago

3 points

253.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

254.

Show HN: Theoretical Tflops ≠ Real-World Performance – Testing GPU Flops

github.com/mag-

2 years ago

3 points

255.

TypeFunc: Resources for type theory, functional programming, etc.

github.com/williamdemeo

2 years ago

3 points

256.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

257.

Category Theory Library for Agda

github.com/agda

4 years ago

3 points

258.

Graph Theory in C++

github.com/ZigRazor

5 years ago

3 points

259.

AI Physicist, a paradigm with algorithms for learning theories from data

github.com/tailintalent

5 years ago

3 points

260.

Introduction to Homotopy Type Theory

github.com/EgbertRijke

6 years ago

3 points

261.

The political theory behind Urbit

github.com/mbrubeck

6 years ago

3 points

262.

I open-sourced my interactive music theory website, written with TypeScri (cont)

github.com/ColeDeanShepherd

6 years ago

3 points

263.

New form of logic. Need help. Not theory, have working models

7 years ago

3 points

264.

Hacker-laws: Laws, Theories, Principles and Patterns developers will find useful

github.com/dwmkerr

7 years ago

3 points

265.

Formal Proof of the Four Color Theorem in Coq

github.com/math-comp

7 years ago

3 points

266.

Abstract Algebra: Theory and Applications

github.com/twjudson

8 years ago

3 points

267.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

8 years ago

3 points

268.

PyTheory:Music Theory for Humans

github.com/kennethreitz

8 years ago

3 points

269.

Tonal: A functional music theory library for JavaScript

github.com/danigb

9 years ago

3 points

270.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points