ed359 Goto Github PK

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

arxivcheck

given an arixiv id or title, check if has been published, and then returns the updated bib

category-theory-programmers

Notes on category theory in the context of (functional) programming

citation-js

cocoaspell

cocoAspell

euler

extramuros

language-neutral shared-buffer networked live coding system

fixedsize

Approximate sampling and counting algorithms for the canonical ensemble

grunt-latex

A Grunt plugin to compile LaTeX documents using pdflatex

latex-decode

Converts LaTeX to Unicode

lightsynth

listmusik

A simple music organiser

ltex-ls

LTeX Language Server: An LSP language server for LanguageTool with LaTeX/Markdown support; core of the LTeX extension for Visual Studio Code

oscnet

Experiments in graph theory and musical synthesis

potts-occupancy

Sagemath code for working with the occupancy method for the Potts model

pyscipopt

Python interface for the SCIP Optimization Suite

python-qsoptex

Python (Cython) bindings for QSopt_ex

sage

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

sagenb

Sage Notebook (flask), docs in $SAGE_LOCAL/share/doc/sagenb/index.html

semanticcode

SemanticCode - a programming font with monospaced ligatures

smart-lightbulb

Smart Light Bulb Web App (using Web Bluetooth)

website

this is the code for the sagemath.org website

xhaskell

Exercism Exercises in Haskell

xi-editor

A modern editor with a backend written in Rust.

xpurescript

Exercism exercises in PureScript