Adding conjecturing to Sage
☆14Mar 17, 2023Updated 3 years ago
Alternatives and similar repositories for conjecturing
Users that are interested in conjecturing are comparing it to the libraries listed below
Sorting:
- Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http:/…☆17May 24, 2023Updated 2 years ago
- a chrome extension that puts in a 30 second delay before loading a non-approved webpage☆26Jun 2, 2011Updated 14 years ago
- R Package 📦 to Generate mock data with the Mockaroo API☆12May 10, 2018Updated 7 years ago
- A Transportation-Themed Hackathon hosted by the City of Austin and the UT Center for Transportation Research☆22Jun 27, 2017Updated 8 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated 3 weeks ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Oct 1, 2025Updated 5 months ago
- Clickable, multicsale truchet tiling generator in javascript☆15Apr 1, 2019Updated 6 years ago
- Delaunay triangulation image generator.☆15Dec 6, 2021Updated 4 years ago
- PePPer - Personalized Perturbation Profiler☆11Oct 4, 2018Updated 7 years ago
- A simple implementation of UMAP, TSNE and GDR across frameworks and libraries☆13Dec 10, 2024Updated last year
- p5.js port of Marius Watz's "infinite rainbows" for POKE London☆18Feb 24, 2017Updated 9 years ago
- A NES emulator written in C☆18Jan 16, 2016Updated 10 years ago
- Studying and understanding state with dependency tracking. A technique used in libraries like SWR.☆10Feb 27, 2022Updated 4 years ago
- Measures integrative complexity in English texts.☆12Apr 29, 2017Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Models that demonstrate the syntax and functionality of BioNetGen language and simulation tools.☆15May 30, 2023Updated 2 years ago
- Tracking changes in stances of Germany's political parties over time☆22Jan 5, 2023Updated 3 years ago
- Indexing project where we index a portion of the web using spark, hadoop and cassandra.☆21Oct 30, 2019Updated 6 years ago
- repository with the scripts to run examples of the publications with new functionalities of TCGAbiolinks☆17Mar 2, 2022Updated 4 years ago
- Attention Unet and Deep Unet implementation for road extraction multi-gpu tensorflow☆18Feb 22, 2021Updated 5 years ago
- Sample code from Allen & Tildesley's Computer Simulation of Liquids, 1st Ed. See https://github.com/Allen-Tildesley/examples for moderni…☆18Sep 10, 2017Updated 8 years ago
- RefDNN: a reference drug based neural network for more accurate prediction of anticancer drug resistance (Scientific Reports)☆14Apr 21, 2022Updated 3 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆26Feb 10, 2026Updated last month
- Matching algorithms for Graphs.jl☆21Feb 21, 2026Updated 3 weeks ago
- ☆11Feb 18, 2021Updated 5 years ago
- An Eureka row that shows a series of UITextField's for the user to enter postal address information☆20Jan 31, 2020Updated 6 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Game we're making with the skills we cover in the live stream. Text adventure. Zombie survival.☆15Jul 29, 2015Updated 10 years ago
- Generic osu! library written in Rust☆20Mar 11, 2026Updated last week
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- Artistic Low Poly rendering for Images☆20May 3, 2018Updated 7 years ago
- Text detection and recognition on COCO-Text☆23Jun 24, 2018Updated 7 years ago
- Find secrets hidden in commits☆23Feb 6, 2026Updated last month
- Gillespie Stochastic Simulation Algorithm☆14Jun 29, 2013Updated 12 years ago
- A Telegram bot for Berlin & Brandenburg public transport.☆18Jan 27, 2022Updated 4 years ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 6 months ago
- An extremely opinionated and highly personalized script to set up a new Mac machine, just the way I like it!☆19Jun 6, 2024Updated last year
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 4 years ago
- ☆25Apr 1, 2025Updated 11 months ago