miguelmarco Goto Github PK

-nsi-secureap

Configuration files for an easy to deploy WPA2-Enterprise access point.

batchspawner

Custom Spawner for Jupyterhub to start servers in batch scheduled systems

beamer_theme

bleachermark

A pipeline benchmarking framework for python

blender_latex

A Blender add on to create curves from latex expressions

dme

DME cryptosystem

dme2

gentoo-haskell

official gentoo haskell overlay

grant-europe

Sage goes H2020

jupyterhub

Multi-user server for Jupyter notebooks

jupyterhub-docker

A configuration for a JupyterHub+DockerSpawner+OAuth2 server with Traefik proxy, based on docker-compose

jupyterlab-fileconvert

A jupyterlab extension to convert .sws files to .ipynb

kenzo

A repackaged version of the Kenzo software by Francis Sergeraert and collaborators.

lean4game

Server to host lean games.

leankernel

jupyter kernel foe lean

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

libbraiding

cbraid/braiding are C++ libraries for computations on braid groups

libhomfly

Library to compute the homfly polynomial of a link.

loadsws

A moinmoin action plugin to upload sage worksheets

lxdspawner

powersoftau-attestations

pydiceware-es

Generador de passphrases basado en las ideas de diceware

pykdedebugger

A small pykde application that helps debugging sage code.

pyzcto

A pyqt front end for the zcash wallet, and the companion of Zcash Pannel

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

sage-archive-2023-02-01

Unified Git repository for Sage

sage-slurm

Some examples of scripts used to run Sage code in a slurm cluster.

sage-wiki

code for a wiki modified to be a repository of sagemath documentation

sagenb

Sage Notebook (flask)

sagetides

sage interface to tides