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:
- Awesome Mathematical Olympiads/Competitions/Contests☆25Jun 7, 2025Updated 11 months ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated last month
- PCB files for Adafruit E-Paper Display Breakouts☆12Feb 7, 2024Updated 2 years ago
- A solutions manual for Topology by James Munkres☆16Aug 12, 2018Updated 7 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Neural Message Passing for NMR Chemical Shift Prediction☆11Aug 10, 2022Updated 3 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆25Jan 26, 2026Updated 3 months ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- Python scripts to make beautiful deepsky finder charts and maps in various image formats.☆19Apr 16, 2026Updated 3 weeks ago
- Maduino Zero A9 or A9G demo code☆13Dec 30, 2022Updated 3 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Feb 15, 2019Updated 7 years ago
- Extension to add MCP tool support to TypingMind☆15Mar 29, 2025Updated last year
- MCP server providing kanban-based task management memory for complex multi-session workflows with AI agents☆37Jul 13, 2025Updated 9 months ago
- A wrapper around NMRium react component to enable seamless integration into third-party applications built on any modern framework.☆11Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My solutions to Ahlfors Complex Analysis☆27Nov 8, 2022Updated 3 years ago
- pybroom, the python's broom to tidy up messy fit results!☆14Jun 21, 2017Updated 8 years ago
- Problem rendering engine for WeBWorK☆47Apr 28, 2026Updated last week
- Learning FPGA, yosys, nextpnr, and RISC-V☆13Jan 5, 2021Updated 5 years ago
- ☆13Nov 5, 2020Updated 5 years ago
- A macro for compiling Kaitai Struct into Rust.☆18Nov 23, 2023Updated 2 years ago
- Binding for Pango, to use with Manim.☆62Oct 23, 2025Updated 6 months ago
- Mapa para dar mayor accesibilidad a ubicación de salas, baños y puntos de interés en los distintos campus de la UC.☆29Updated this week
- CLI that uses DSPy to interact with MCP servers.☆24Mar 10, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Advanced Mechatronics at Northwestern University for 2020☆15May 27, 2020Updated 5 years ago
- Code used for the yearly calculations of CO2e from Bitcoin mining☆19Jun 24, 2018Updated 7 years ago
- MCP Server to retrieve documentation for a package☆16Mar 13, 2025Updated last year
- FeynCalc manual☆12Mar 2, 2026Updated 2 months ago
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 9 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 4 years ago
- Open-source keyboard firmware for Atmel AVR and Arm USB families☆15Sep 23, 2025Updated 7 months ago
- A Julia wrapper for the OpenSpiel project☆12Sep 5, 2024Updated last year
- Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem☆28Mar 30, 2025Updated last year
- 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.
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆26Jun 6, 2023Updated 2 years ago
- A linter for JS promises that checks for possible Promise.then usage errors.☆48Jun 14, 2014Updated 11 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆12Mar 5, 2021Updated 5 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Drivers exported from a Xiaomi Book S 12'4☆19Oct 26, 2023Updated 2 years ago
- A guide on making your Kensington Expert Mouse Pro work fully under Linux☆21Feb 25, 2023Updated 3 years ago
- ☆25May 27, 2025Updated 11 months ago