ykazakov's Stars
0xabu/pdfannots
Extracts and formats text annotations from a PDF file
DigiKlausur/e2xgrader
Addon for nbgrader
yuvipanda/jupyterhub-ssh
SSH Access to JupyterHubs
viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
QuantStack/jupyterlab-blockly
Blockly extension for JupyterLab
sambayless/monosat
MonoSAT - An SMT solver for Monotonic Theories
James-Yu/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
jupyter-widgets/ipywidgets
Interactive Widgets for the Jupyter Notebook
dani-garcia/vaultwarden
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
minsuk-heo/python_tutorial
python tutorial
allen-ball/ganymede
The Ganymede Kernel is a Jupyter Notebook Java kernel based on the Java Shell tool, JShell.
OpenCircuits/OpenCircuits
A free, open source, online digital circuit/logic designer.
arminbiere/kissat
jupyterhub/jupyterhub
Multi-user server for Jupyter notebooks
real-logic/aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
openai/DALL-E
PyTorch package for the discrete VAE used for DALL·E.
jar-ben/unimus
SAT (Boolean) Enumerator of Minimal Unsatisfiable Subsets (MUSes)
arminbiere/satch
SAT Solver SATCH
voice-engine/ec
Echo Canceller, part of Voice Engine project
jupyterhub/ltiauthenticator
A JupyterHub authenticator for LTI
johnhw/moodle_nbgrader
Basic scripts for Moodle integration with nbgrader (configured for UoG)
dice-group/JavaOnlineExercises
Java Online Exercises (Jupyter JOE)
xzhih/one-key-hidpi
Enable macOS HiDPI and have a native setting.
IHTSDO/snomed-owl-toolkit
The official SNOMED CT OWL Toolkit. OWL conversion, classification and authoring support.
johnboiles/obs-mac-virtualcam
ARCHIVED! This plugin is officially a part of OBS as of version 26.1. See note below for info on upgrading. 🎉🎉🎉Creates a virtual webcam device from the output of OBS. Especially useful for streaming smooth, composited video into Zoom, Hangouts, Jitsi etc. Like CatxFish/obs-virtualcam but for macOS.
dperson/samba
Samba docker container
lukechilds/dockerpi
A Virtualised Raspberry Pi inside a Docker image
dhruvvyas90/qemu-rpi-kernel
Qemu kernel for emulating Rpi on QEMU
DistroAV/DistroAV
DistroAV (formerly OBS-NDI): NewTek NDI integration for OBS Studio
biotomas/ipasir
The Standard Interface for Incremental Satisfiability Solving