Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by motrellin
A curated list of projects in awesome lists by motrellin .
https://github.com/motrellin/comoalg
Some personal notes on typical algebra topics
coq coq-formalization coq-library
Last synced: 24 Dec 2024
https://github.com/motrellin/docker-coq-equations
Docker Image based on docker-coq with coq-equations
Last synced: 03 Dec 2024
https://github.com/motrellin/motrellin.github.io
Personal website, see https://motrellin.github.io
Last synced: 03 Dec 2024
https://github.com/motrellin/ll-chainreact
Rules for LoveLetter-extension "Chainreact"
Last synced: 03 Dec 2024