47,133 repositories indexed
49–71 of 71 · Most stars
Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.
Modular and modern graph-theory algorithms framework in Java
Modeling and Proving in Computational Type Theory
IGraph/M is the igraph interface for Mathematica
Hoare Type Theory
The Penn Locally Nameless Metatheory Library
A Rocq formalization of information theory and linear error-correcting codes
Music theory engine for embedded systems. Build musical instruments and controllers that interact with people and speak MIDI 1.0 and 2.0.
Graph Theory library for Ruby
Graph Theory [maintainers=@chdoc,@damien-pous]
Coq library on rewriting theory and termination
Swift Playground that creates jazz improvisations (WWDC 2018)
Starting code and proposed solution for Functional Structures Refactoring Kata
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
A Swift Playground visualizing gravity based on Einstein's Theory of General Relativity
Practice recognizing chords in this Rust/Yew/Webassembly app
Crystal shard for filename sanitization
A lightweight Python package for teaching computational methods through art history. Extract and analyze artist-specific works from WikiArt with built-in visualizations. Designed for digital humanities and computational design courses. Features genre/style analysis, matplotlib integration, and pedagogical clarity over algorithmic complexity.
Caustic Elixir Cryptocurrency Library (Bitcoin, Ethereum, etc.) with extensive cryptography and number theory library
Lightweight TypeScript-based library designed to generate musical scales.
A Swift playground for implementing the natural numbers and more concepts in number theory. The inspiration for this was taken from fewbutripe.com
Play your favorite instrument in the browser, with complex note intervals and scales
Finds prime numbers using the Sieve of Eratosthenes algorithm.