reboot of differential equations thing
☆12Nov 29, 2015Updated 10 years ago
Alternatives and similar repositories for diffeq
Users that are interested in diffeq are comparing it to the libraries listed below
Sorting:
- Longlive SSH sessions!☆12Dec 31, 2018Updated 7 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- ☆33Jul 29, 2016Updated 9 years ago
- This is why nobody ever encrypts anything☆30May 23, 2017Updated 8 years ago
- Parses BGP/AS data from multiple different sources☆11Dec 4, 2021Updated 4 years ago
- Scraper https://www.marches-publics.gouv.fr/☆10Mar 21, 2024Updated last year
- Gameboy for the Thumby☆12Jan 12, 2022Updated 4 years ago
- Project Gold ✨☆11Jan 29, 2026Updated last month
- AngularJS Reference Architecture☆28Jun 2, 2017Updated 8 years ago
- ☆12May 22, 2023Updated 2 years ago
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 years ago
- An interactive command line interface for displaying the state of multiple git repositories in a single screen☆48Mar 19, 2015Updated 10 years ago
- Python library for serial character LCD displays (MatrixOrbital, CrystalFontz, etc)☆14Feb 9, 2014Updated 12 years ago
- Sayma AMC/RTM issue tracker☆43Oct 5, 2018Updated 7 years ago
- An open source light-weight OS X twitter client based on jQuery and Fluid (deprecated!)☆61Dec 24, 2012Updated 13 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- U.R.G.E. Universal Rapid Gamma Emitter (twitter edition)☆18Sep 17, 2011Updated 14 years ago
- Where a Linux sys-admin's perinoid scripts are collected.☆10Feb 3, 2016Updated 10 years ago
- Convert HTTP Archive format (HAR) to websequencediagrams compatible output☆15Dec 4, 2017Updated 8 years ago
- A simple HTTP server for queuing lines of text☆11Mar 27, 2017Updated 8 years ago
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- Collection of misc (mostly JTAG and Serial Wire Debug) adapters.☆13Dec 13, 2017Updated 8 years ago
- An Atom theme for a more native experience on OS X 10.10 Yosemite - DEPRECATED☆39Apr 3, 2023Updated 2 years ago
- Asynchronous DNS for Python asyncio (pure Python)☆11Nov 15, 2018Updated 7 years ago
- Based on angular-seed, a starting point for writing an AngularJS app running on an Express backend, written in CoffeeScript☆48Jul 21, 2014Updated 11 years ago
- Deploy JS applications with a single command☆11Oct 19, 2018Updated 7 years ago
- ☆10Aug 8, 2024Updated last year
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated last month
- Username / Password list combo from my honeypot.☆14Apr 13, 2022Updated 3 years ago
- Armbian build tools☆11Apr 6, 2020Updated 5 years ago
- The official main Plugin Repository☆19Nov 7, 2015Updated 10 years ago
- ☆13Sep 10, 2019Updated 6 years ago
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- Main repo for extension code. Note: this has nested submodules☆11Jan 20, 2021Updated 5 years ago
- Resolume vj software Composition files Tools☆11Feb 15, 2023Updated 3 years ago
- Small HDL in Clojure. Exercise in writing a DSL.☆13Nov 1, 2012Updated 13 years ago
- Java stream library☆10Aug 3, 2024Updated last year
- ☆11Apr 1, 2024Updated last year
- Lets you reorganize videos in your watch later list to various playlists (for watch later hoarders like me!)☆10Feb 12, 2015Updated 11 years ago