A collection of open source math notes.
☆31Jul 21, 2024Updated 2 years ago
Alternatives and similar repositories for math
Users that are interested in math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple NLP Search - Dataset Generator☆17Apr 29, 2016Updated 10 years ago
- Tiny browser chrome for Servo using CEF for testing☆12Feb 7, 2015Updated 11 years ago
- ViPR Command provides command line interface for ViPR REST APIs.☆10Oct 23, 2015Updated 10 years ago
- Enhances Humble Bundle pages by addding useful details about each game, including Metacritic review score and pricing info.☆11Jun 21, 2016Updated 10 years ago
- Raspbian packaging for https://bitbucket.org/plas/thonny/☆14Jul 28, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- Code to generate an infinite zoom animation.☆12Nov 9, 2023Updated 2 years ago
- Docker images for Vanilla Minecraft☆12Oct 7, 2026Updated last week
- A bridge between IRC and Friends channels.☆21May 28, 2015Updated 11 years ago
- distributed shell job control with role based configuration for Node.js☆15Apr 22, 2014Updated 12 years ago
- Control CodeBug over Serial USB.☆10Dec 9, 2016Updated 9 years ago
- Pydra : a visual synthesizer written in Python☆11Dec 4, 2020Updated 5 years ago
- Evolution of Discrete data with Reinforcement Learning☆13Dec 8, 2019Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 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.
- VIGRA2 based on xtensor☆10Apr 4, 2018Updated 8 years ago
- Бесплатная альтернатива M/Monit, который расширяет возможности Monit и обеспечивает мониторинг всеми вашими серверами с поддержкой Monit.☆12Jul 6, 2021Updated 5 years ago
- Parses BGP/AS data from multiple different sources☆11Dec 4, 2021Updated 4 years ago
- P2P chat powered by webrtc in a terminal☆19Nov 3, 2016Updated 9 years ago
- A Light Portable Minecraft Launcher☆10Sep 21, 2017Updated 9 years ago
- Running Plover on a Raspberry Pi, connecting it as a bluetooth keyboard☆28Jan 9, 2014Updated 12 years ago
- Validation Generation for Kubeflow CRD on Kubernetes☆11Jan 25, 2021Updated 5 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 5 years ago
- Simulates the space battle between the fleeing Rocinante and the pursuing free navy flagship Pella. The Rocinante has a strategic advanta…☆10Jan 11, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [NOT MAINTAINED] A guide for using Raspberry Pi in the classroom.☆12Apr 6, 2017Updated 9 years ago
- Youtube API in MicroPython☆13Nov 3, 2020Updated 5 years ago
- A mini TV shaped ornament that can play YouTube videos.☆11Jan 30, 2018Updated 8 years ago
- Zumo robot control code for Raspberry PI and Wiimote☆19Oct 2, 2018Updated 8 years ago
- A set of scripts to manage an Arch Linux chroot on the 2013 model Nexus 7☆15Jan 15, 2014Updated 12 years ago
- Compare different encoding methods to see how well they perform on a classification task. Determine if a reddit comment is from /r/StarWa…☆13Mar 14, 2022Updated 4 years ago
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 14 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.
- ☆11Oct 30, 2020Updated 5 years ago
- precompressed is a pluggable application for Django developers who want to serve precompressed (gzipped) static files.☆18Feb 26, 2013Updated 13 years ago
- TensorCraft is an AIO server for Keras models☆12Mar 25, 2023Updated 3 years ago
- The free version of PocketInvEditor. Requires the PocketInvEditor library project.☆17Dec 20, 2016Updated 9 years ago
- An utility to make use of android TTS system remotely☆19Feb 7, 2016Updated 10 years ago
- Control your Ozobot Evo with your Raspberry Pi via Bluetooth☆16Apr 11, 2019Updated 7 years ago
- Simple IMAP4 protocol wrapper for lua. Requires luasocket and (if you want to use TLS) luasec.☆17Jul 13, 2017Updated 9 years ago