Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

General Theory of Reactivity (2016)

github.com/kriskowal

9 years ago

1 points

182.

The General Theory of Decentralized Applications, DApps

github.com/DavidJohnstonCEO

12 years ago

1 points

183.

Show HN: Seth, a JavaScript DSL for Functional Set Theory

github.com/andrejewski

12 years ago

1 points

184.

SED_Model – Observation <-> Theory Machine

github.com/nialljmiller

a month ago

1 points

185.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver

github.com/bitwuzla

2 months ago

1 points

186.

Show HN: MidiStickers – learn music theory visually

3 months ago

1 points

187.

Pyevidence: Practical Evidence Theory

github.com/emiruz

6 months ago

1 points

188.

Semantic Physics: A General Theory of Mental Motion

github.com/kookisky

6 months ago

1 points

189.

Theories of Rational Decision

github.com/kzollman

a year ago

1 points

190.

Integrated Predictive Workspace Theory

github.com/dmf-archive

a year ago

1 points

191.

PoII Cost Modeler: Exploring Crypto-Economics with Integrated Information Theory

github.com/dmf-archive

a year ago

1 points

192.

Show HN: Chess Using NFTs and Game Theory

github.com/Dyslex7c

a year ago

1 points

193.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

2 years ago

1 points

194.

Closure-Free Functional Programming in a Two-Level Type Theory

github.com/AndrasKovacs

2 years ago

1 points

195.

Solutions and Notes for Leinster's Basic Category Theory

github.com/kennyworkman

3 years ago

1 points

196.

Formal verification of folklore and miscellaneous results in number theory

github.com/josephcmac

4 years ago

1 points

197.

Scales, Chords, and Cadences: Practical Music Theory for Mir Researchers

github.com/jcdevaney

5 years ago

1 points

198.

A fast implementation of the VSOP87 theory in JavaScript

github.com/gmarty

6 years ago

1 points

199.

Andromeda: Proof assistant for general type theories

github.com/Andromedans

6 years ago

1 points

200.

Hacker Laws Update – The Broken Windows Theory

github.com/dwmkerr

7 years ago

1 points

201.

TensorFlow-Based Code for M-Theory / Superstring Theory

github.com/google-research

7 years ago

1 points

202.

Hecke.jl: Computational algebraic number theory

github.com/thofma

7 years ago

1 points

203.

Category Theory Cheat Sheet

8 years ago

1 points

204.

Yacctt: Yet Another Cartesian Cubical Type Theory

github.com/mortberg

8 years ago

1 points

205.

Predicate Dispatching: A Unified Theory of Dispatch (1998) [pdf]

github.com/papers-we-love

9 years ago

1 points

206.

A Unified Theory of Layout?

9 years ago

1 points

207.

A Unified Theory of Layout

github.com/idibidiart

9 years ago

1 points

208.

Emacs – CSS coloring, rainbow delimiters and theory

github.com/mariusk

10 years ago

1 points

209.

Awesome-time: List of awesome theory, tools and presentations pertaining to time

github.com/bruth

11 years ago

1 points

210.

Ask HN: Have you used SQLite as a primary database?

4 years ago

518 points