math1um / objects-invariants-properties
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
☆16Updated last year
Alternatives and similar repositories for objects-invariants-properties:
Users that are interested in objects-invariants-properties are comparing it to the libraries listed below
- ModelDB 2020 redesign☆10Updated this week
- A place for all knowledge regarding Research Data Management (RDM) in Chemistry☆11Updated last week
- Adding conjecturing to Sage☆13Updated last year
- A periodic table for Sugar☆9Updated 2 years ago
- A tool for creating Python implementations of SBML models.☆13Updated 2 years ago
- nmrXiv is currently developed as the FAIR, consensus-driven NMR data repository and computational platform. The ultimate goal is to accel…☆15Updated this week
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago
- Semantic analysis of text documents including sentence and paragraph splitting☆13Updated 4 months ago
- ☆13Updated 9 years ago
- ☆15Updated 8 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 9 months ago
- Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"☆10Updated 3 years ago
- DNA origami design tool☆36Updated last year
- A suite of machine learning tools for modeling viral adaptation to host immune responses.☆12Updated last year
- GeneNetwork3 REST API for data science and machine learning☆8Updated last week
- Network representation learning on drug-target-side effects-indication graphs for side effect prediction☆13Updated 5 years ago
- A simple Unix-friendly toolkit for plagiarism detection.☆18Updated 4 years ago
- SLIP is a sandbox environment for engineering protein sequences with synthetic fitness functions.☆19Updated last year
- Functions and classes for doing Gaussian process models of proteins☆11Updated 6 years ago
- Repository for Multitask Toxicity with Contrastive Explanation☆11Updated last year
- GitHub mirror of Metadata indexer☆14Updated last week
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 6 months ago
- An evolutionary source-code fuzzer☆10Updated last month
- Deep learning to solve RNA design puzzles☆19Updated 2 weeks ago
- Implementation of a simple genetic algorithm designed to solve the Traveling Salesman Problem, using ncurses to visualize the graph.☆10Updated 7 years ago
- The project proposal template for OpenBioML community projects.☆18Updated 2 years ago
- Shell Protocol Designs☆9Updated 6 years ago
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆15Updated 10 years ago
- ☆30Updated 11 years ago