This is the CoCalc Electron desktop application.
☆19Sep 30, 2022Updated 3 years ago
Alternatives and similar repositories for cocalc-desktop
Users that are interested in cocalc-desktop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆15Jul 24, 2026Updated 2 months ago
- Collect User templates for everyone to use☆13Aug 18, 2025Updated last year
- 🎹 A mechanical keyboard sound simulator for macOS☆16Feb 15, 2025Updated last year
- PCB files for Adafruit E-Paper Display Breakouts☆12Feb 7, 2024Updated 2 years ago
- A path to Programming Language Theory enlightenment☆13Apr 13, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆27Updated this week
- This is the repository for PLP, An introduction to mathematical proof, book☆27Aug 18, 2026Updated last month
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- A solutions manual for Topology by James Munkres☆17Aug 12, 2018Updated 8 years ago
- M5Stack Face Bluetooth KeyBoard HID Script KeyBoard☆10Nov 30, 2020Updated 5 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆20Sep 21, 2020Updated 6 years ago
- Use Nintendo Switch Online app on your PC.☆14Sep 16, 2018Updated 8 years ago
- parallel seam carving for video retargeting☆13Aug 24, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My solutions to Ahlfors Complex Analysis☆27Nov 8, 2022Updated 3 years ago
- A dashboard for students to keep track of their academic performance.☆19May 7, 2026Updated 4 months ago
- Awesome Mathematical Olympiads/Competitions/Contests☆31Jun 7, 2025Updated last year
- PKM tooling for semantically inclined digital gardeners (with [[wikirefs]], semantic trees, and graphs).☆22Mar 20, 2026Updated 6 months ago
- An HTML5 night sky viewer☆29Feb 9, 2014Updated 12 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- Binding for Pango, to use with Manim.☆62Aug 4, 2026Updated last month
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆16Jan 5, 2021Updated 5 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Jul 23, 2026Updated 2 months ago
- FeynCalc manual☆12Jun 9, 2026Updated 3 months ago
- Advanced Mechatronics at Northwestern University for 2020☆16May 27, 2020Updated 6 years ago
- Resolve a nested selector in a PostCSS AST☆13Sep 2, 2026Updated 3 weeks ago
- Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem☆28Mar 30, 2025Updated last year
- Integer interval arithmetic library☆20May 15, 2025Updated last year
- Code accompanying our paper "Finding trainable sparse networks through Neural Tangent Transfer" to be published at ICML-2020.☆13Jun 14, 2020Updated 6 years ago
- ☆11Jan 22, 2022Updated 4 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CDCL(Crypto) SAT solver for cryptanalysis problems☆12Mar 5, 2021Updated 5 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- A small collection of utilties to aid in firmware development for the Glowforge laser cutter.☆20Sep 18, 2026Updated last week
- Code to accompany Kindle E-Book "Build Your Own Computer - From Scratch"☆16May 25, 2019Updated 7 years ago
- Intellisense and hover in code blocks on markdown files for Visual Studio Code☆13Aug 11, 2021Updated 5 years ago
- Heart Murmur Detection from Phonocardiogram Recordings: The George B. Moody PhysioNet Challenge 2022☆16Jan 6, 2026Updated 8 months ago
- Issue Tracker for GPT Screenshot extension.☆19Sep 16, 2026Updated last week