Robert Munafo's reverse equation solver
☆21Feb 28, 2023Updated 3 years ago
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below
Sorting:
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- Experiments involving the Windows Hypervisor Platform☆23Jun 24, 2020Updated 5 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Feb 4, 2026Updated last month
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- ☆10Sep 24, 2021Updated 4 years ago
- Official code repository for the MICCAI 2025 paper "UltraRay: Introducing Full-Path Ray Tracing in Physics-Based Ultrasound Simulation"☆17Aug 13, 2025Updated 6 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆10May 25, 2017Updated 8 years ago
- Hyper-graph based Multi-task Feature Selection for Multi-modal Classification of Alzheimer's Disease☆12Jun 10, 2019Updated 6 years ago
- 🎈 Easy-to-use video player for Vue 3.x☆12Aug 22, 2023Updated 2 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- Lets you reorganize videos in your watch later list to various playlists (for watch later hoarders like me!)☆10Feb 12, 2015Updated 11 years ago
- Regular expression Search on the command-line☆16Mar 31, 2025Updated 11 months ago
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- CDB-PIg is a plugin for cdb, but not windbg.☆11Nov 29, 2018Updated 7 years ago
- A JavaScript AST optimizer☆18Apr 18, 2013Updated 12 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Data and code that support the discovery paper of the long-period GLEAM-X transient☆12Oct 24, 2025Updated 4 months ago
- Python tools for reverse engineering Microsoft 3D Movie Maker☆12Feb 28, 2021Updated 5 years ago
- Matlab code for our ICCV 2013 work "Person Re-identification by Salience Matching"☆12Jul 24, 2014Updated 11 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Feb 13, 2026Updated 2 weeks ago
- Generate heat map of a year.☆10Apr 13, 2022Updated 3 years ago
- Source for the GAP website☆11Feb 10, 2026Updated 3 weeks ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated last year
- Cheat Engine alternative written in Rust☆12Nov 15, 2022Updated 3 years ago
- Direct X game controller server/client written in Python☆10Jul 10, 2018Updated 7 years ago
- WIP☆15Jan 13, 2022Updated 4 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- SaralGyaan PDF Parser- A command line parsing tool for PDFs☆10Jun 2, 2020Updated 5 years ago
- ☆11Apr 16, 2019Updated 6 years ago
- A Python obfuscator using Python's abstract Syntax trees to change all variable names to different Unicode variations of X.☆11Jun 27, 2020Updated 5 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 2 months ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Fork of QEMU with Virtual Machine Introspection patches☆14Sep 13, 2023Updated 2 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 25, 2026Updated last week
- Auto-generated sphinx version of the IPython website. Since this is an auto-generated directory, do *not* submit pull requests against th…☆11Jan 3, 2026Updated 2 months ago
- Collection of misc (mostly JTAG and Serial Wire Debug) adapters.☆13Dec 13, 2017Updated 8 years ago
- codes for ICML2021 paper iDARTS: Differentiable Architecture Search with Stochastic Implicit Gradients☆10May 27, 2021Updated 4 years ago
- implementing Weight Agnostic Neural Networks to Spiking Neural Networks☆10Jan 26, 2021Updated 5 years ago