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

2167

3 months ago

Graph theory analysis of brain MRI data

R179

9 months ago

brain-connectivitybrain-imagingcomplex-networks

Coq library on rewriting theory and termination

Coq35other

2 months ago

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

Go55apache-2.0

4 months ago

datastructuregenericgeneric-graph

Abstractions from Category theory with simple description & implementation, link

Scala377cc-by-sa-4.0

4 months ago

category-teoryfunctional-programmingpatterns

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

C++2448other

2 months ago

abstract-interpretationprogram-analysissoftware-verification

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

TeX270bsd-3-clause

4 months ago

Graph theory (network) library for visualisation and analysis

JavaScript10130mit

3 days ago

analysiscytoscapejsgraph-theory

A Coq library for Homotopy Type Theory

Coq1248other

last month

homotopy-type-theorytype-theoryunivalent-foundations

PostgreSQL Unit Testing Suite

PLpgSQL983

4 months ago

pgsqlpgtappsql

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

Shell25698cc-by-sa-4.0

5 months ago

codingcomputersciencelaws

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

Clojure25other

4 years ago

Graph Theory library for Ruby

Ruby48other

5 years ago

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

Python33

10 years ago

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Graph theory and social network analysis algorithms implemented on JGraphT graph

Java9other

4 years ago

Modular and modern graph-theory algorithms framework in Java

Java126mit

last year

algorithmsbfsdfs-algorithm

Application of music theory in audio reactive visualizations

JavaScript361mit

6 years ago

audiobandclubber

Basic graph theory algorithms

Clojure16epl-1.0

7 years ago

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

Objective-C12other

9 years ago

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

C#215mit

last year

actor-modelconcurrent-programmingevent-driven