Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Repository Index
47,133 repositories indexed
73–87 of 87 · Most stars
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
A JavaScript bilingual text realizer for web development
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Docker configs and build scripts.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
FPS game using the BabylonJS framework
- javascript
- babylonjs
- babylonjs-game
- fps-game
A redisred API handler for Hubot
Misc stuff
Public transit ticketing system for customer issues and feedback with: inter-departmental routing with notifications, department/person assigments, simple workflow, ticket searching, pre-canned reports, daily reminders and more.
Windows registry wrappers for Vlang
Local CrossRef database with 167M+ works and full-text search
- abstract
- citation
- impact-factor
- localhost
GTFS-realtime for CTA Train Tracker
GTFS-realtime for SEPTA TrainView and TransitView APIs.