Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl

github.com/probabilistic-minds-consortium

a year ago

3 points

122.

Cholula: Frameworks for Memecoin Theory, Valuation and Regulation

github.com/cholulz

a year ago

3 points

123.

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

4 years ago

3 points

124.

A Universal Theory for Everything

github.com/anon-phys

5 years ago

3 points

125.

Literate Visualization: Theory, software and examples

github.com/gicentre

8 years ago

3 points

126.

Show HN: CTRS – Notes on Category Theory in Rust

github.com/damienstanton

8 years ago

3 points

127.

Toccata: A Clojure-inspired Native Lisp for Category Theory

github.com/jduey

12 years ago

3 points

128.

Zen - A new Python graph theory library

github.com/networkdynamics

13 years ago

3 points

129.

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

github.com/vishal-dehurdle

a day ago

3 points

130.

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

github.com/solomon-b

2 months ago

3 points

131.

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

github.com/WGlynn

3 months ago

3 points

132.

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

emboss.github.com

14 years ago

3 points

133.

Category Theory for Programmers

github.com/hmemcpy

9 months ago

3 points

134.

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

github.com/williamdemeo

2 years ago

3 points

135.

Category Theory Library for Agda

github.com/agda

4 years ago

3 points

136.

Graph Theory in C++

github.com/ZigRazor

5 years ago

3 points

137.

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

github.com/tailintalent

5 years ago

3 points

138.

Introduction to Homotopy Type Theory

github.com/EgbertRijke

6 years ago

3 points

139.

The political theory behind Urbit

github.com/mbrubeck

6 years ago

3 points

140.

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

github.com/ColeDeanShepherd

6 years ago

3 points

141.

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

7 years ago

3 points

142.

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

github.com/dwmkerr

7 years ago

3 points

143.

Abstract Algebra: Theory and Applications

github.com/twjudson

8 years ago

3 points

144.

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

github.com/NASA-SW-VnV

8 years ago

3 points

145.

PyTheory:Music Theory for Humans

github.com/kennethreitz

8 years ago

3 points

146.

Tonal: A functional music theory library for JavaScript

github.com/danigb

9 years ago

3 points

147.

Show HN: Fluokitten - category theory in idiomatic Clojure

github.com/uncomplicate

13 years ago

2 points

148.

My math theory to automata Hilbert, Fourier and integral orders

github.com/tambetvali

4 months ago

2 points

149.

Added Quantum Field Theory to a Radiation Simulator for 22% Better Predictions

github.com/r0nlt

a year ago

2 points

150.

Resources for the Theory of Programming Languages

github.com/veyselusta

2 years ago

2 points