Pinned Repositories
bleachermark
A pipeline benchmarking framework for python
DME
DME cryptosystem
DME2
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
ZcashPannel
An android front-end to the zcash wallet through onion services
miguelmarco's Repositories
miguelmarco/pyzcto
A pyqt front end for the zcash wallet, and the companion of Zcash Pannel
miguelmarco/ZcashPannel
An android front-end to the zcash wallet through onion services
miguelmarco/bleachermark
A pipeline benchmarking framework for python
miguelmarco/kenzo
A repackaged version of the Kenzo software by Francis Sergeraert and collaborators.
miguelmarco/libhomfly
Library to compute the homfly polynomial of a link.
miguelmarco/leankernel
jupyter kernel foe lean
miguelmarco/DME
DME cryptosystem
miguelmarco/libbraiding
cbraid/braiding are C++ libraries for computations on braid groups
miguelmarco/DME2
miguelmarco/pykdedebugger
A small pykde application that helps debugging sage code.
miguelmarco/SIROCCO2
sirocco port to C++ and MPFR
miguelmarco/topologia_general_lean
Material auxiliar en Lean3 Para un curso de topologĂa general.
miguelmarco/beamer_theme
miguelmarco/blender_latex
A Blender add on to create curves from latex expressions
miguelmarco/pydiceware-es
Generador de passphrases basado en las ideas de diceware
miguelmarco/topologia_general_game
curso de topologia general, en formato leangame
miguelmarco/batchspawner
Custom Spawner for Jupyterhub to start servers in batch scheduled systems
miguelmarco/gentoo-haskell
official gentoo haskell overlay
miguelmarco/jupyterhub
Multi-user server for Jupyter notebooks
miguelmarco/jupyterhub-docker
A configuration for a JupyterHub+DockerSpawner+OAuth2 server with Traefik proxy, based on docker-compose
miguelmarco/jupyterlab-fileconvert
A jupyterlab extension to convert .sws files to .ipynb
miguelmarco/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
miguelmarco/lxdspawner
miguelmarco/powersoftau-attestations
miguelmarco/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
miguelmarco/sage-archive-2023-02-01
Unified Git repository for Sage
miguelmarco/stable-diffusion-krita-plugin
miguelmarco/STG4
Set Theory Game
miguelmarco/sympy
A computer algebra system written in pure Python
miguelmarco/TryLean4Bundle