Pinned Repositories
bleachermark
A pipeline benchmarking framework for python
DME
DME cryptosystem
grant-europe
Sage goes H2020
kenzo
A repackaged version of the Kenzo software by Francis Sergeraert and collaborators.
leankernel
jupyter kernel foe lean
libbraiding
cbraid/braiding are C++ libraries for computations on braid groups
libhomfly
Library to compute the homfly polynomial of a link.
pyzcto
A pyqt front end for the zcash wallet, and the companion of Zcash Pannel
topologia_general_lean
Material auxiliar en Lean3 Para un curso de topologĂa general.
ZcashPannel
An android front-end to the zcash wallet through onion services
miguelmarco's Repositories
miguelmarco/grant-europe
Sage goes H2020
miguelmarco/LoadSws
A moinmoin action plugin to upload sage worksheets
miguelmarco/sage-wiki
code for a wiki modified to be a repository of sagemath documentation
miguelmarco/-nsi-secureAP
Configuration files for an easy to deploy WPA2-Enterprise access point.
miguelmarco/pydiceware-es
Generador de passphrases basado en las ideas de diceware
miguelmarco/sage-slurm
Some examples of scripts used to run Sage code in a slurm cluster.
miguelmarco/sagetides
sage interface to tides
miguelmarco/tails-installer-ebuild
Just an ebuild for tails-installer
miguelmarco/TIDES
tides library
miguelmarco/sagenb
Sage Notebook (flask)
miguelmarco/sirocco
Library for certified continuation of polynomial roots
miguelmarco/smc
SageMathCloud's GPL licensed source code -- use SMC at
miguelmarco/teaching-resources
a collection of teaching resources
miguelmarco/torbrowser-overlay
Tor Browser related ebuilds
miguelmarco/zcash-swing-wallet-ui
ZCash Desktop GUI Wallet