Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
☆18May 24, 2023Updated 3 years ago
Alternatives and similar repositories for objects-invariants-properties
Users that are interested in objects-invariants-properties are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 3 years ago
- Experiments and development of phonetics and linguistics tools, initially in en_US☆10Mar 22, 2021Updated 5 years ago
- A package that uses blade templates to control how markdown is converted to HTML inside Laravel, as well as providing support for markdow…☆18Jul 1, 2021Updated 5 years ago
- ☆16Dec 2, 2019Updated 6 years ago
- "PyTorch in Rust"☆17Feb 13, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Transportation-Themed Hackathon hosted by the City of Austin and the UT Center for Transportation Research☆22Jun 27, 2017Updated 9 years ago
- PePPer - Personalized Perturbation Profiler☆11Oct 4, 2018Updated 7 years ago
- ☆29May 6, 2020Updated 6 years ago
- ☆24Jul 31, 2026Updated last week
- a chrome extension that puts in a 30 second delay before loading a non-approved webpage☆26Jun 2, 2011Updated 15 years ago
- Models that demonstrate the syntax and functionality of BioNetGen language and simulation tools.☆15May 30, 2023Updated 3 years ago
- Attention Unet and Deep Unet implementation for road extraction multi-gpu tensorflow☆19Feb 22, 2021Updated 5 years ago
- repository with the scripts to run examples of the publications with new functionalities of TCGAbiolinks☆17Mar 2, 2022Updated 4 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- RefDNN: a reference drug based neural network for more accurate prediction of anticancer drug resistance (Scientific Reports)☆14Apr 21, 2022Updated 4 years ago
- A curated list of information technology merchandise offerings that benefit original creators and projects☆15May 1, 2025Updated last year
- ☆11Feb 18, 2021Updated 5 years ago
- An AWS S3 file manager. It supports keyword search, upload, preview video and archive files into a zip then download it.☆11Mar 20, 2023Updated 3 years ago
- A story-driven indie platformer about the courage to let go. "On the edge of nowhere, seek the next spring anywhere."☆11Oct 9, 2021Updated 4 years ago
- Small formally verified library for finding modular multiplicative inverses.☆10Jun 20, 2026Updated last month
- Gillespie Stochastic Simulation Algorithm☆14Jun 29, 2013Updated 13 years ago
- A course project on optimization of the DCT algorithm in C and ARM Assembly.☆14Aug 19, 2020Updated 5 years ago
- Process memory editing library for Linux☆12Oct 26, 2021Updated 4 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.
- This is the official code used for WAT 2017 Description Paper titled A Bag of Useful Tricks for Practical Neural Machine Translation: Emb…☆12Oct 24, 2017Updated 8 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 12 years ago
- A Minetest mod which sends a chat message when a player dies☆11Aug 17, 2024Updated last year
- autotune your code to perfection. using langchain, chatGPT, etc. understands your entire codebases and will magically fix your code☆14Apr 17, 2023Updated 3 years ago
- Search the textual content of any YouTube video.☆14Jun 4, 2026Updated 2 months ago
- Clean and simple regex implementation of Kölner Phonetik, a soundex-like algorithm for German language☆11Jul 20, 2026Updated 3 weeks ago
- LazyLora is a terminal user interface for exploring the Algorand blockchain☆13Jul 20, 2026Updated 3 weeks ago
- Mirror of https://gitlab.com/xdevs23/linux-nitrous☆11Dec 6, 2025Updated 8 months ago
- Dockerfile for machine learning environment(scikit-learn, chainer, gensim, tensorflow, jupyter)☆10Aug 16, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Convert Wiktionary entries to various formats such as StarDict or DB (MariaDB/MySQL). I'm dropping the database support for this new main…☆17Oct 5, 2025Updated 10 months ago
- silent crypto miner Free Crypto Miner Builder - Supports ETC, RVN, XMR, RTM and much more. miner crypto miner 2024 best miner miner btc m…☆14May 7, 2024Updated 2 years ago
- A toy functional language created through the abuse of C☆20Sep 26, 2010Updated 15 years ago
- A meta-scan tool used to kick off a number of command-line security tools during VA/PT work.☆23May 1, 2022Updated 4 years ago
- A wlroots-based Wayland compositor for doing multimedia presentations the unix way. A fork of the "cage" compositor.☆15Feb 27, 2020Updated 6 years ago
- A sandbox simulator for stock market prediction using ML model.☆11Feb 1, 2024Updated 2 years ago
- Implementation of Face-recognition system using Inception Network and Siamese Network☆20Apr 10, 2019Updated 7 years ago