See https://github.com/sagemathinc/smc instead!
☆22Mar 7, 2019Updated 7 years ago
Alternatives and similar repositories for smc-public
Users that are interested in smc-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- *MOVED TO* https://github.com/sagemathinc/cocalc☆136Aug 24, 2017Updated 8 years ago
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 6 months ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 3 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- A Sage interface for FGb (Gröbner basis computations)☆38Feb 1, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 9 years ago
- ☆36Updated this week
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Towards cross-lingual distributed representations without parallel text trained with adversarial autoencoders☆22Aug 11, 2016Updated 9 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated last year
- common language and mathematics processing algorithms, in Rust☆30Mar 25, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Rocq Prover bot☆26Jan 30, 2026Updated last month
- Madek main web interface☆21Updated this week
- CoCalc: Collaborative Calculation in the Cloud☆1,276Updated this week
- Automatically exported from code.google.com/p/psd-to-html-exporter☆13Aug 24, 2015Updated 10 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- ☆23Mar 30, 2023Updated 2 years ago
- Converts Quora's new NLU dataset to SNLI txt/jsonl format, plus test/dev split, tokenization.☆14Jan 27, 2017Updated 9 years ago
- The webapp framework for Papyros☆13Nov 6, 2015Updated 10 years ago
- 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.
- A simple MemoPad application for iOS. Key features include categories for notes, locking of notes and categories, as well as the ability …☆18Mar 10, 2011Updated 15 years ago
- A compact JavaScript animation library with a GUI timeline for fast editing.☆26Mar 20, 2012Updated 14 years ago
- A Lean 4 Jupyter kernel via repl☆35Nov 19, 2024Updated last year
- ☆20Dec 23, 2015Updated 10 years ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 4 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 3 months ago
- Arunna is a solution that creates a place where social media, networking and community collaborate. You and your customers can have the o…☆19Jul 11, 2011Updated 14 years ago
- Reconstruction ICA☆10Aug 25, 2017Updated 8 years ago
- Simple video chats for the web.☆47Feb 17, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Speech annotation web app for regular folk☆22Aug 5, 2016Updated 9 years ago
- The GAP package Semigroups☆29Mar 23, 2026Updated last week
- Implementation of Wide Residual Networks in Keras☆10Sep 10, 2016Updated 9 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- PyTorch implmentation of LocoGAN: https://arxiv.org/abs/2002.07897☆11Feb 8, 2021Updated 5 years ago
- Source for the GAP website☆11Feb 10, 2026Updated last month
- Web front-end for the Paz platform; an Ember.js webapp.☆13Oct 2, 2015Updated 10 years ago