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
decision-weights
Homegrown analysis of Prospect Theory: Math, turkers and python =)
Python33
10 years ago
brainGraph
Graph theory analysis of brain MRI data
R179
9 months ago
brain-connectivitybrain-imagingcomplex-networks
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
5 months ago
category-teoryfunctional-programmingpatterns
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++2475other
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
Modular and modern graph-theory algorithms framework in Java
Java126mit
last year
algorithmsbfsdfs-algorithm
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
cytoscape.js
Graph theory (network) library for visualisation and analysis
JavaScript10130mit
4 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
hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #
Shell25698cc-by-sa-4.0
5 months ago
codingcomputersciencelaws
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
decision-weights
Homegrown analysis of Prospect Theory: Math, turkers and python =)
Python33
10 years ago
brainGraph
Graph theory analysis of brain MRI data
R179
9 months ago
brain-connectivitybrain-imagingcomplex-networks
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
5 months ago
category-teoryfunctional-programmingpatterns
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++2475other
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
Modular and modern graph-theory algorithms framework in Java
Java126mit
last year
algorithmsbfsdfs-algorithm
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
cytoscape.js
Graph theory (network) library for visualisation and analysis
JavaScript10130mit
4 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
hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #
Shell25698cc-by-sa-4.0
5 months ago
codingcomputersciencelaws
Newbe.Claptrap
This is a frameworks with reactive, event sourcing and Actor pattern as basic th
C#215mit
last year
actor-modelconcurrent-programmingevent-driven