learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2167

3 months ago

matlib

A Clojure library of optimisation and control theory tools and convenience funct

Clojure25other

4 years ago

graphy

Graph Theory library for Ruby

Ruby48other

5 years ago

decision-weights

decision-weights

Homegrown analysis of Prospect Theory: Math, turkers and python =)

Python33

10 years ago

brainGraph

brainGraph

Graph theory analysis of brain MRI data

R179

9 months ago

brain-connectivitybrain-imagingcomplex-networks

color

Coq library on rewriting theory and termination

Coq35other

2 months ago

gograph

gograph

A golang generic graph library that provides mathematical graph-theory and algor

Go55apache-2.0

4 months ago

datastructuregenericgeneric-graph

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, link

Scala377cc-by-sa-4.0

4 months ago

category-teoryfunctional-programmingpatterns

ikos

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

C++2448other

2 months ago

abstract-interpretationprogram-analysissoftware-verification

idris-ct

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Java-Network-Analyzer

Graph theory and social network analysis algorithms implemented on JGraphT graph

Java9other

4 years ago

Erdos

Erdos

Modular and modern graph-theory algorithms framework in Java

Java126mit

last year

algorithmsbfsdfs-algorithm

clubber

clubber

Application of music theory in audio reactive visualizations

JavaScript361mit

6 years ago

audiobandclubber

controls-engineering-in-frc

Controls Engineering in the FIRST Robotics Competition: Graduate-level control t

TeX270bsd-3-clause

4 months ago

algo.graph

Basic graph theory algorithms

Clojure16epl-1.0

7 years ago

cytoscape.js

cytoscape.js

Graph theory (network) library for visualisation and analysis

JavaScript10130mit

3 days ago

analysiscytoscapejsgraph-theory

Coq-HoTT

A Coq library for Homotopy Type Theory

Coq1248other

last month

homotopy-type-theorytype-theoryunivalent-foundations

ios-KRFuzzyCMeans-Algorithm

Fuzzy C-Means is clustering algorithm (クラスタリング分類) combined fuzzy theory (ファジー理論)

Objective-C12other

9 years ago

pgtap

pgtap

PostgreSQL Unit Testing Suite

PLpgSQL983

4 months ago

pgsqlpgtappsql

hacker-laws

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #

Shell25698cc-by-sa-4.0

5 months ago

codingcomputersciencelaws

Newbe.Claptrap

Newbe.Claptrap

This is a frameworks with reactive, event sourcing and Actor pattern as basic th

C#215mit

last year

actor-modelconcurrent-programmingevent-driven

learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2167

3 months ago

matlib

A Clojure library of optimisation and control theory tools and convenience funct

Clojure25other

4 years ago

graphy

Graph Theory library for Ruby

Ruby48other

5 years ago

decision-weights

decision-weights

Homegrown analysis of Prospect Theory: Math, turkers and python =)

Python33

10 years ago

brainGraph

brainGraph

Graph theory analysis of brain MRI data

R179

9 months ago

brain-connectivitybrain-imagingcomplex-networks

color

Coq library on rewriting theory and termination

Coq35other

2 months ago

gograph

gograph

A golang generic graph library that provides mathematical graph-theory and algor

Go55apache-2.0

4 months ago

datastructuregenericgeneric-graph

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, link

Scala377cc-by-sa-4.0

4 months ago

category-teoryfunctional-programmingpatterns

ikos

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

C++2448other

2 months ago

abstract-interpretationprogram-analysissoftware-verification

idris-ct

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Java-Network-Analyzer

Graph theory and social network analysis algorithms implemented on JGraphT graph

Java9other

4 years ago

Erdos

Erdos

Modular and modern graph-theory algorithms framework in Java

Java126mit

last year

algorithmsbfsdfs-algorithm

clubber

clubber

Application of music theory in audio reactive visualizations

JavaScript361mit

6 years ago

audiobandclubber

controls-engineering-in-frc

Controls Engineering in the FIRST Robotics Competition: Graduate-level control t

TeX270bsd-3-clause

4 months ago

algo.graph

Basic graph theory algorithms

Clojure16epl-1.0

7 years ago

cytoscape.js

cytoscape.js

Graph theory (network) library for visualisation and analysis

JavaScript10130mit

3 days ago

analysiscytoscapejsgraph-theory

Coq-HoTT

A Coq library for Homotopy Type Theory

Coq1248other

last month

homotopy-type-theorytype-theoryunivalent-foundations

ios-KRFuzzyCMeans-Algorithm

Fuzzy C-Means is clustering algorithm (クラスタリング分類) combined fuzzy theory (ファジー理論)

Objective-C12other

9 years ago

pgtap

pgtap

PostgreSQL Unit Testing Suite

PLpgSQL983

4 months ago

pgsqlpgtappsql

hacker-laws

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #

Shell25698cc-by-sa-4.0

5 months ago

codingcomputersciencelaws

Newbe.Claptrap

Newbe.Claptrap

This is a frameworks with reactive, event sourcing and Actor pattern as basic th

C#215mit

last year

actor-modelconcurrent-programmingevent-driven