Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Pyevidence: Practical Evidence Theory (github.com/emiruz)

1 point

5 months ago

182.

Semantic Physics: A General Theory of Mental Motion (github.com/kookisky)

1 point

6 months ago

183.

Theories of Rational Decision (github.com/kzollman)

1 point

a year ago

184.

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

1 point

a year ago

185.

PoII Cost Modeler: Exploring Crypto-Economics with Integrated Information Theory (github.com/dmf-archive)

1 point

a year ago

186.

Show HN: Chess Using NFTs and Game Theory (github.com/Dyslex7c)

1 point

a year ago

187.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

1 point

2 years ago

188.

Closure-Free Functional Programming in a Two-Level Type Theory (github.com/AndrasKovacs)

1 point

2 years ago

189.

Solutions and Notes for Leinster's Basic Category Theory (github.com/kennyworkman)

1 point

3 years ago

190.

Formal verification of folklore and miscellaneous results in number theory (github.com/josephcmac)

1 point

4 years ago

191.

Scales, Chords, and Cadences: Practical Music Theory for Mir Researchers (github.com/jcdevaney)

1 point

5 years ago

192.

A fast implementation of the VSOP87 theory in JavaScript (github.com/gmarty)

1 point

6 years ago

193.

Andromeda: Proof assistant for general type theories (github.com/Andromedans)

1 point

6 years ago

194.

Hacker Laws Update – The Broken Windows Theory (github.com/dwmkerr)

1 point

6 years ago

195.

TensorFlow-Based Code for M-Theory / Superstring Theory (github.com/google-research)

1 point

7 years ago

196.

Hecke.jl: Computational algebraic number theory (github.com/thofma)

1 point

7 years ago

197.

Category Theory Cheat Sheet

1 point

8 years ago

198.

Yacctt: Yet Another Cartesian Cubical Type Theory (github.com/mortberg)

1 point

8 years ago

199.

Predicate Dispatching: A Unified Theory of Dispatch (1998) [pdf] (github.com/papers-we-love)

1 point

9 years ago

200.

A Unified Theory of Layout?

1 point

9 years ago

201.

A Unified Theory of Layout (github.com/idibidiart)

1 point

9 years ago

202.

Emacs – CSS coloring, rainbow delimiters and theory (github.com/mariusk)

1 point

10 years ago

203.

Awesome-time: List of awesome theory, tools and presentations pertaining to time (github.com/bruth)

1 point

11 years ago

204.

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

518 points

4 years ago

205.

Show HN: An open source framework for voice assistants (github.com/pipecat-ai)

346 points

2 years ago

206.

Show HN: Chebyshev approximation calculator (stuffmatic.com)

278 points

2 years ago

207.

Show HN: MyraOS – My 32-bit operating system in C and ASM (Hack Club project) (github.com/dvir-biton)

247 points

7 months ago

208.

Show HN: Open-source OAuth service for 40+ APIs (nango.dev)

206 points

3 years ago

209.

Show HN: Chonky – a neural approach for text semantic chunking (github.com/mirth)

169 points

a year ago

210.

Show HN: International Legal Dictionary (public.law)

105 points

4 years ago