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 2 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…☆11May 7, 2024Updated last year
- An AWS S3 file manager. It supports keyword search, upload, preview video and archive files into a zip then download it.☆11Mar 20, 2023Updated 2 years ago
- Rapid RPC framework for building Python services fast☆15May 25, 2019Updated 6 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
- 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 curated list of information technology merchandise offerings that benefit original creators and projects☆13May 1, 2025Updated 10 months ago
- Trying to fine tune the configurations of the convolutional layers of a deep learning architecture☆10Nov 11, 2020Updated 5 years ago
- Process memory editing library for Linux☆10Oct 26, 2021Updated 4 years ago
- A course project on optimization of the DCT algorithm in C and ARM Assembly.☆13Aug 19, 2020Updated 5 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 11 years ago
- Experiments and development of phonetics and linguistics tools, initially in en_US☆10Mar 22, 2021Updated 4 years ago
- A GUI for the scrypt-based cpuminer☆29Jun 28, 2019Updated 6 years ago
- Dockerfile for machine learning environment(scikit-learn, chainer, gensim, tensorflow, jupyter)☆10Aug 16, 2018Updated 7 years ago
- A Minetest mod which sends a chat message when a player dies☆11Aug 17, 2024Updated last year
- Mirror of https://gitlab.com/xdevs23/linux-nitrous☆11Dec 6, 2025Updated 2 months ago
- PePPer - Personalized Perturbation Profiler☆11Oct 4, 2018Updated 7 years ago
- Small library for finding modular multiplicative inverses.☆10Apr 3, 2020Updated 5 years ago
- 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
- Machine Learning module for cloud-based analyses developed as part of the NIGMS Sandbox Project☆18Jun 6, 2025Updated 8 months ago
- LazyLora is a terminal user interface for exploring the Algorand blockchain☆13Feb 9, 2026Updated 3 weeks ago
- Search the textual content of any YouTube video.☆13Feb 13, 2026Updated 2 weeks ago
- Altium Designer project of metal detector "Quasar ARM"☆15Sep 30, 2019Updated 6 years ago
- ☆10Feb 2, 2026Updated 3 weeks ago
- Antenna Calculation and Autotuning (AntennaCAT) is a comprehensive implementation of machine learning to automate, evaluate, and optimize…☆15Nov 5, 2025Updated 3 months ago
- A sandbox simulator for stock market prediction using ML model.☆12Feb 1, 2024Updated 2 years 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
- ☆14May 13, 2019Updated 6 years ago
- Convert github issues and prs into rss feed☆16Sep 8, 2024Updated last year
- repository with the scripts to run examples of the publications with new functionalities of TCGAbiolinks☆17Mar 2, 2022Updated 3 years ago
- SGD (stochastic gradient descent) with OGR - online gradient regression Hessian estimator☆16May 11, 2023Updated 2 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
- Clean and simple regex implementation of Kölner Phonetik, a soundex-like algorithm for German language☆11Dec 3, 2025Updated 2 months ago
- All files associated with the lualatex package "selnolig"☆23Aug 2, 2019Updated 6 years ago
- ☆11Feb 18, 2021Updated 5 years ago
- A blockchain written in bash☆14Mar 22, 2022Updated 3 years ago
- ☆12Jul 31, 2021Updated 4 years ago
- Helium Miner Config Container☆16Jan 8, 2026Updated last month
- Bruteforce tool for AsicMiner and Awesome Miner☆15Jan 4, 2022Updated 4 years ago