This is the CoCalc Electron desktop application.
☆19Sep 30, 2022Updated 4 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☆16Updated this week
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Collect User templates for everyone to use☆13Aug 18, 2025Updated last year
- Files for the MO Server☆10May 13, 2021Updated 5 years ago
- Maduino Zero A9 or A9G demo code☆13Dec 30, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Small angle scattering tools ... but unlike most others, free.☆13Oct 8, 2026Updated 3 weeks ago
- A maubot plugin to set expiration times on messages in a room☆10Sep 29, 2026Updated last month
- Neural Message Passing for NMR Chemical Shift Prediction☆11Aug 10, 2022Updated 4 years ago
- ☆10Mar 9, 2024Updated 2 years ago
- Python software for laboratory instruments control and automation.☆10Nov 6, 2025Updated last year
- Cosmology Resource Materials - collection of links to useful resources of interest to cosmology students and researchers☆19Sep 5, 2026Updated 2 months ago
- 🎹 A mechanical keyboard sound simulator for macOS☆16Feb 15, 2025Updated last year
- M5Stack Face Bluetooth KeyBoard HID Script KeyBoard☆10Nov 30, 2020Updated 5 years ago
- Materials for 0.5-day MDAnalysis workshops☆14Jul 25, 2025Updated last year
- 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.
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- An extension for TypingMind that allows to quote the selection☆10Aug 8, 2025Updated last year
- 🌕 JupyterLab's Desktop client☆17Mar 3, 2022Updated 4 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆27Aug 18, 2026Updated 2 months ago
- Use Nintendo Switch Online app on your PC.☆14Sep 16, 2018Updated 8 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- parallel seam carving for video retargeting☆13Aug 24, 2016Updated 10 years ago
- An open-source alternative to Mathpix Snip Tool. Instantly extract LaTeX, math equations, and text from images and screenshots. | 开源 Math…☆47Updated this week
- A macro for compiling Kaitai Struct into Rust.☆18Nov 23, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A path to Programming Language Theory enlightenment☆14Apr 13, 2016Updated 10 years ago
- Enhance knowledge retention with spaced repetition using FSRS & SM-2 algorithms, MCQ generation, integrated Pomodoro timer, and calendar …☆15Oct 29, 2026Updated last week
- This repository is a guide on how to set up the TI Flash Studio build tools, with or without the IDE, and how to get started building Fla…☆10Jan 17, 2021Updated 5 years ago
- Binding for Pango, to use with Manim.☆62Oct 24, 2026Updated 2 weeks ago
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Oct 26, 2026Updated last week
- My solutions to Ahlfors Complex Analysis☆27Nov 8, 2022Updated 3 years ago
- ☆18Updated this week
- Learning FPGA, yosys, nextpnr, and RISC-V☆13Jan 5, 2021Updated 5 years ago
- FeynCalc manual☆12Jun 9, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MCP Server to retrieve documentation for a package☆15Mar 13, 2025Updated last year
- Pascal coded GPT-3☆14Oct 13, 2024Updated 2 years ago
- Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem☆28Mar 30, 2025Updated last year
- javascript musiXmatch API library for nodejs☆11Sep 30, 2016Updated 10 years ago
- CLI that uses DSPy to interact with MCP servers.☆24Mar 10, 2025Updated last year
- ☆13Apr 23, 2024Updated 2 years ago
- Drivers exported from a Xiaomi Book S 12'4☆18Oct 26, 2023Updated 3 years ago