Repository Index

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

Graph library for Clojure

• clojure
• clojurescript
• graph
• graph-algorithms

Graph is a semantic database that is used to create data-driven applications.

• coredata
• data
• database
• graph

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

• category-theory
• coq
• monad
• profunctor

Graph algorithms and data structures

• graph-algorithms
• graph-theory
• data-structures
• go

Header-Only C++ Library for Graph Representation and Algorithms

• search-algorithm
• dijkstra-algorithm
• graph
• graph-algorithms

Interactive network visualization in Python and Dash, powered by Cytoscape.js

• plotly-dash
• plotly
• dash
• cytoscape

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

A complete and open application for automatic backing tracks generation.

• music
• music-library
• music-generation
• music-composition

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

TTK - Topological Data Analysis and Visualization - Source Code

• topological-data-analysis
• visualization
• python
• paraview

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

• clojure
• category-theory
• clojure-library
• monad

Go models of Note, Scale, Chord and Key

Harness self-evolution: update targets, theory, evaluation, and reported evidence. Bilingual reading list and project website.

• agent-evaluation
• agent-harness
• agent-memory
• agent-skills

Literate Visualization: Theory, software and examples

• litvis
• elm
• markdown
• vega

Application of music theory in audio reactive visualizations

• clubber
• midi
• audio
• reactive

Programming language agnostic type construction language based on polynomials.

• type-definitions
• serialization-library
• types
• f-algebras

One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.

• cae
• cfd
• computational-mechanics
• explicit-dynamics

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

The official implementation of "The Shapley Value of Classifiers in Ensemble Games" (CIKM 2021).

• shapley
• shapley-value
• owen
• voting-classifier

This repo contains code to natively run iDrive 6 on the J29 Toyota Supra. This in theory should be portable across iDrive versions. This was written entirely with AI because it's well beyond my skillset.

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

• calculus
• counting
• functions
• graph