Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A Theory of Anxiety Conditions

a-theory-of-anxiety-conditions.github.io

4 years ago

7 points

2.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

3.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf]

github.com/devinmcgloin

7 years ago

77 points

4.

Show HN: Gonzo – A Go-based TUI for log analysis (OpenTelemetry/OTLP support)

github.com/control-theory

10 months ago

74 points

5.

Show HN: Theory.js – Abstraction layer for cross-platform JavaScript

github.com/amark

13 years ago

28 points

6.

Show HN: Open-Source KMS SDK

github.com/Basis-Theory

4 years ago

4 points

7.

Postgres Extension Ecosystem: Jobs and Tools

gist.github.com

2 years ago

2 points

8.

PgTAP: PostgreSQL Unit Testing Suite

github.com/theory

6 years ago

2 points

9.

Pgenv: PostgreSQL binary manger

github.com/theory

8 years ago

2 points

10.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time”

github.com/gvelesandro

a year ago

84 points

11.

Queueing Theory: An introduction for software development

github.com/joelparkerhenderson

3 years ago

287 points

12.

Show HN: Queueing theory intro for software developers

github.com/joelparkerhenderson

7 years ago

126 points

13.

Category Theory ∩ Machine Learning

github.com/bgavran

3 years ago

118 points

14.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

15.

Open source game-theoretic poker player

github.com/adamsmith

13 years ago

74 points

16.

Notes on Category Theory and Haskell

github.com/jwbuurlage

9 years ago

4 points

17.

Equational Theories Project

github.com/teorth

2 years ago

3 points

18.

Annotated bibliography for learning Category Theory

github.com/prathyvsh

6 years ago

3 points

19.

Elon Musk's ontological argument

github.com/AidanRocke

8 years ago

2 points

20.

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation

github.com/joelparkerhenderson

4 months ago

2 points

21.

Project to map out the relation between different equational theories of Magmas

github.com/teorth

2 years ago

2 points

22.

JavaScript lexical scope and eval explored

dbrans.github.com

15 years ago

2 points

23.

Resources for Learning Category Theory

github.com/prathyvsh

6 years ago

2 points

24.

Fundamentals of Queueing Theory

github.com/joelparkerhenderson

7 years ago

2 points

25.

Observer Theory Extension

github.com/SASenchal

5 months ago

1 points

26.

A program testing prisoner's dilemma with different strategies

github.com/guojing0

12 years ago

1 points

27.

How HN: A geometric framework for NP-Intermediate classes (OM Theory)

github.com/jumapama

3 months ago

1 points

28.

Theoretical foundations for server-side rendering (draft paper)

htmlpreview.github.io

4 years ago

1 points

29.

Show HN: IQT – Why space feels panoramic and time feels fleeting

github.com/creatorrr

4 months ago

1 points

30.

Show HN: I rebuilt Jobs To Be Done on scientific foundations and open-sourced it

github.com/zamesin

3 hours ago

12 points