Graph Theory [maintainers=@chdoc,@damien-pous]

Coq28

6 months ago

coqdocker-coq-actiongraph-theory

An axiom-free formalization of category theory in Coq for personal study and pra

Coq716bsd-3-clause

6 months ago

cartesiancartesian-closed-categorycategories

A Coq formalization of information theory and linear error-correcting codes

Coq60lgpl-2.1

5 months ago

convexityerror-correcting-codesinformation-theory

Numenta Platform for Intelligent Computing is an implementation of Hierarchical

Python6333agpl-3.0

8 months ago

artificial-intelligencehierarchical-temporal-memorymachine-intelligence

Graph theory analysis of brain MRI data

R163

3 months ago

brain-connectivitybrain-imagingcomplex-networks

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

Go43apache-2.0

3 months ago

datastructuregenericgeneric-graph

Hoare Type Theory

Coq63apache-2.0

5 months ago

coqhoare-logichoare-monads

Abstractions from Category theory with simple description & implementation, link

Scala375cc-by-sa-4.0

2 months ago

category-teoryfunctional-programmingpatterns

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

C++1967other

3 months ago

abstract-interpretationprogram-analysissoftware-verification

A software library for creating secure and anonymous decentralized systems. Conf

Go170mit

2 months ago

anonymityanonymousapplications

Modeling and Proving in Computational Type Theory

Coq65

6 months ago

Modular and modern graph-theory algorithms framework in Java

Java125mit

8 months ago

algorithmsbfsdfs-algorithm

Coq library on rewriting theory and termination

Coq32other

6 months ago

Literate Visualization: Theory, software and examples

TypeScript369bsd-3-clause

2 months ago

elmliterate-programminglitvis

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids an

Clojure454epl-1.0

2 months ago

category-theoryclojureclojure-library

Caustic Elixir Cryptocurrency Library (Bitcoin, Ethereum, etc.) with extensive c

Elixir3mit

11 months ago

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

TeX246bsd-3-clause

2 months ago

Graph theory (network) library for visualisation and analysis

JavaScript9801mit

11 hours ago

analysiscytoscapejsgraph-theory

A Coq library for Homotopy Type Theory

Coq1215other

5 days ago

homotopy-type-theorytype-theoryunivalent-foundations

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep

OCaml192other

6 months ago

automationcoqdependent-types

PostgreSQL Unit Testing Suite

PLpgSQL941

7 days ago

pgsqlpgtappsql

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

Shell25544cc-by-sa-4.0

2 months ago

codingcomputersciencelaws

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

C#212mit

11 months ago

actor-modelconcurrent-programmingevent-driven

Go models of Note, Scale, Chord and Key

Go414gpl-3.0

4 years ago

A music theory guide written in Rust.

Rust611mit

2 years ago

music-theoryrustrust-lang

Homotopy type theory

Coq1134other

2 years ago

homotopy-type-theorytype-theoryunivalent-foundations

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

Clojure24other

4 years ago

Graph Theory library for Ruby

Ruby48other

5 years ago

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

Python33

9 years ago

A Swift Playground visualizing gravity based on Einstein's Theory of General Rel

Swift25mit

7 years ago

Numenta Platform for Intelligent Computing is an implementation of Hierarchical

Python6325agpl-3.0

last year

artificial-intelligencehierarchical-temporal-memorymachine-intelligence

🎹🎸A music theory library with a command-line interface

Ruby2295mit

last year

gemmusicruby

formally verified category theory library

Idris248agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

Clojure938bsd-2-clause

2 years ago

A static php code analysis tool using the Graph Theory

PHP392

3 years ago

Application of music theory in audio reactive visualizations

JavaScript358mit

6 years ago

audiobandclubber

Graph theory and social network analysis algorithms implemented on JGraphT graph

Java9other

4 years ago

Basic graph theory algorithms

Clojure15epl-1.0

7 years ago

A Swift playground for implementing the natural numbers and more concepts in num

Swift3

8 years ago

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

Objective-C12other

8 years ago