Pinned Repositories
ACT_resources
Resources for learning Applied Category Theory
APG
Coq Implementation of Algebraic Property Graphs
better-angels
The Better Angels are a group of anarchists committed to feminist, anti-racist, anti-capitalist struggle who use direct action software development as a technique of liberatory resistance.
buoy
:sos: A community-based crisis response system. Because friends don't let friends call the cops. :fire::police_car::fire:
CTF
Capture The Flag (CTF) challenges that I've encountered. An "educational purposes only" repository.
diagrams-doc
Documentation for the diagrams project
DynamicalSystemsBook
helloworld
JoshRussellProofs
How to do mathematical proofs, by Joshua for Russell
Scholar-Houses
An open-source protocol for creating environments for study
meygerjos's Repositories
meygerjos/Scholar-Houses
An open-source protocol for creating environments for study
meygerjos/ACT_resources
Resources for learning Applied Category Theory
meygerjos/APG
Coq Implementation of Algebraic Property Graphs
meygerjos/better-angels
The Better Angels are a group of anarchists committed to feminist, anti-racist, anti-capitalist struggle who use direct action software development as a technique of liberatory resistance.
meygerjos/buoy
:sos: A community-based crisis response system. Because friends don't let friends call the cops. :fire::police_car::fire:
meygerjos/CTF
Capture The Flag (CTF) challenges that I've encountered. An "educational purposes only" repository.
meygerjos/diagrams-doc
Documentation for the diagrams project
meygerjos/DynamicalSystemsBook
meygerjos/helloworld
meygerjos/JoshRussellProofs
How to do mathematical proofs, by Joshua for Russell
meygerjos/let-me-think.github.io
Let me think...
meygerjos/linear_algebra_notes
meygerjos/Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
meygerjos/progit2
Pro Git 2nd Edition
meygerjos/staticman
💪 Static sites with superpowers
meygerjos/StaticmanTest.github.io
Another repository with the same name as StaticmanTest/StaticmanTest.github.io, for testing staticman
meygerjos/timewastercheckin
Discourages use of time-wasting sites with a "soft" blocker that checks in about whether you really want to be on this site.
meygerjos/tryingyax
Description: I'm trying yax
meygerjos/tryingyax_deploy
meygerjos/um
Create and maintain your own man pages so you can remember how to do stuff