Run CoCalc on a Kubernetes cluster
☆22Dec 19, 2022Updated 3 years ago
Alternatives and similar repositories for cocalc-kubernetes
Users that are interested in cocalc-kubernetes are comparing it to the libraries listed below
Sorting:
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 5 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- nbgrader sharing service☆20Sep 17, 2025Updated 5 months ago
- This repository contains helm charts for Penpot project.☆30Feb 24, 2026Updated last week
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Convert .rst to .ipynb☆19Oct 4, 2023Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆26Feb 10, 2026Updated 3 weeks ago
- GSoC Student Assessment Tool☆24Mar 27, 2018Updated 7 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Feb 28, 2026Updated last week
- The official WHMCS 7.5.3 Release, released by @lmsfao.☆10Apr 8, 2019Updated 6 years ago
- AI-Powered Kubernetes Management System: A platform combining natural language processing with Kubernetes management. Users can perform r…☆14Mar 30, 2025Updated 11 months ago
- Sandbank is the easy-to-use database for s&box.☆10Mar 9, 2025Updated last year
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated last week
- An applet that sets brightness and gamma levels of a screen for Linux Mint Cinnamon☆10Jul 6, 2024Updated last year
- Optimization in python☆11Oct 5, 2018Updated 7 years ago
- Tiny Pandoc and LaTeX for continuous integration☆13Oct 19, 2025Updated 4 months ago
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 25, 2026Updated last week
- A proc macro regex library to match an arbitrary string or byte array to a regular expression.☆11Jun 5, 2022Updated 3 years ago
- An SCTP implementation for WebRTC Data Channels☆27Updated this week
- ITIX's Custom CoreOS build☆10Nov 24, 2020Updated 5 years ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated last year
- Search YouTube from Alfred.☆13Jul 25, 2023Updated 2 years ago
- Replace URLs which have been rewritten by Office 365 Advanced Threat Protection with the original URL.☆12May 18, 2021Updated 4 years ago
- Lovelace Migration - Community Hass.io Add-on for Home Assistant☆16Jan 28, 2019Updated 7 years ago
- [ DEPRECATED ]AngularJS Directive for At(@) user feature☆22Oct 5, 2013Updated 12 years ago
- 100% legal, FOSS reimplementation of Cubism Core☆11Mar 9, 2023Updated 3 years ago
- Migrate AngularJS to Angular☆12Sep 20, 2023Updated 2 years ago
- Convert between different units of measurement☆14May 9, 2025Updated 10 months ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Automatic Query Caching with ProxySQL and Readyset☆12Jun 2, 2025Updated 9 months ago
- A prototype server to swarm multiple DATs for Webrecorder☆14Apr 27, 2019Updated 6 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 2 months ago
- Customized html files for UCD-LibreTexts JupyterHub website☆10Apr 16, 2024Updated last year
- Unix-inspired shell and RAM filesystem for the Commodore 64 (6502 assembly) / AI-assisted development☆21Feb 27, 2026Updated last week
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- libzfs binding for Java☆12Feb 4, 2020Updated 6 years ago
- Tiny dynamic dispatch in Rust☆10Apr 17, 2023Updated 2 years ago
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 5 months ago