Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
☆17May 24, 2023Updated 2 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
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 4 years ago
- a chrome extension that puts in a 30 second delay before loading a non-approved webpage☆26Jun 2, 2011Updated 14 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
- ☆16Dec 2, 2019Updated 6 years ago
- PePPer - Personalized Perturbation Profiler☆11Oct 4, 2018Updated 7 years ago
- "PyTorch in Rust"☆17Feb 13, 2024Updated 2 years ago
- ☆28May 6, 2020Updated 5 years ago
- Models that demonstrate the syntax and functionality of BioNetGen language and simulation tools.☆15May 30, 2023Updated 2 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
- A curated list of information technology merchandise offerings that benefit original creators and projects☆13May 1, 2025Updated 10 months ago
- ☆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
- ☆75Mar 10, 2026Updated last week
- Small library for finding modular multiplicative inverses.☆10Apr 3, 2020Updated 5 years ago
- Convert github issues and prs into rss feed☆16Sep 8, 2024Updated last year
- 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
- Process memory editing library for Linux☆10Oct 26, 2021Updated 4 years ago
- A Minetest mod which sends a chat message when a player dies☆11Aug 17, 2024Updated last year
- Rapid RPC framework for building Python services fast☆15May 25, 2019Updated 6 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 11 years ago
- Gillespie Stochastic Simulation Algorithm☆14Jun 29, 2013Updated 12 years ago
- autotune your code to perfection. using langchain, chatGPT, etc. understands your entire codebases and will magically fix your code☆14Apr 17, 2023Updated 2 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
- All files associated with the lualatex package "selnolig"☆23Aug 2, 2019Updated 6 years 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…☆12May 7, 2024Updated last year
- Search the textual content of any YouTube video.☆14Updated this week
- Clean and simple regex implementation of Kölner Phonetik, a soundex-like algorithm for German language☆11Dec 3, 2025Updated 3 months ago
- Mirror of https://gitlab.com/xdevs23/linux-nitrous☆11Dec 6, 2025Updated 3 months ago
- Dockerfile for machine learning environment(scikit-learn, chainer, gensim, tensorflow, jupyter)☆10Aug 16, 2018Updated 7 years ago
- LazyLora is a terminal user interface for exploring the Algorand blockchain☆13Mar 9, 2026Updated last week
- A course project on optimization of the DCT algorithm in C and ARM Assembly.☆13Aug 19, 2020Updated 5 years ago
- 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 5 months ago
- A red packet social application that combines the privacy chat on ComingChat and the omnichain wallet on ComingChat.☆15Nov 2, 2022Updated 3 years ago
- A GUI for the scrypt-based cpuminer☆29Jun 28, 2019Updated 6 years ago