codespecs / daikon
Licence: other
Dynamic detection of likely invariants
Stars: ✭ 157
Programming Languages
Projects that are alternatives of or similar to daikon
100DaysOfMLCode
No description or website provided.
Stars: ✭ 19 (-87.9%)
Mutual labels: machinelearning
empythy
Automated NLP sentiment predictions- batteries included, or use your own data
Stars: ✭ 17 (-89.17%)
Mutual labels: machinelearning
Plant Disease Detection
Plant Disease Detector Web Application
Stars: ✭ 181 (+15.29%)
Mutual labels: machinelearning
Heart disease prediction
Heart Disease prediction using 5 algorithms
Stars: ✭ 43 (-72.61%)
Mutual labels: machinelearning
mml-book-chinese
mml-book-chinese《Mathematics For Machine Learning》机器学习中的数学 中文版
Stars: ✭ 113 (-28.03%)
Mutual labels: machinelearning
prestashop-specs
Project specifications for PrestaShop's Core features and native modules
Stars: ✭ 28 (-82.17%)
Mutual labels: specifications
hydra-zen
Pythonic functions for creating and enhancing Hydra applications
Stars: ✭ 165 (+5.1%)
Mutual labels: machinelearning
responsible-ai-toolbox
This project provides responsible AI user interfaces for Fairlearn, interpret-community, and Error Analysis, as well as foundational building blocks that they rely on.
Stars: ✭ 615 (+291.72%)
Mutual labels: machinelearning
Specs-on-Spec
A collection of language specifications which don't belong anywhere else
Stars: ✭ 13 (-91.72%)
Mutual labels: specifications
CarLens-iOS
CarLens - Recognize and Collect Cars
Stars: ✭ 124 (-21.02%)
Mutual labels: machinelearning
specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Stars: ✭ 19 (-87.9%)
Mutual labels: specifications
Plant-Disease-Identification-using-CNN
Plant Disease Identification Using Convulutional Neural Network
Stars: ✭ 89 (-43.31%)
Mutual labels: machinelearning
deep-significance
Enabling easy statistical significance testing for deep neural networks.
Stars: ✭ 266 (+69.43%)
Mutual labels: machinelearning
Harvestify
A machine learning based website that recommends the best crop to grow, fertilizers to use, and the diseases caught by your crops.
Stars: ✭ 262 (+66.88%)
Mutual labels: machinelearning
Ramudroid
Ramudroid, autonomous solar-powered robot to clean roads, realtime object detection and webrtc based streaming
Stars: ✭ 22 (-85.99%)
Mutual labels: machinelearning
awesome-conformal-prediction
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.
Stars: ✭ 998 (+535.67%)
Mutual labels: machinelearning
Soomvaar
Soomvaar is the repo which 🏩 contains different collection of 👨💻🚀code in Python and 💫✨Machine 👬🏼 learning algorithms📗📕 that is made during 📃 my practice and learning of ML and Python✨💥
Stars: ✭ 41 (-73.89%)
Mutual labels: machinelearning
telemetry
Open-source datasets for anyone interested in working with network anomaly based machine learning, data science and research
Stars: ✭ 93 (-40.76%)
Mutual labels: machinelearning
This is the distribution of the Daikon invariant detector, Daikon version 5.8.17, released November 9, 2022. If you are working with a Daikon distribution downloaded from the Daikon website, then most everything is setup and ready to go. See the 'doc' subdirectory for additional information, including installation instructions. You should start out with the file: doc/index.html The documentation also appears on the Daikon homepage: http://plse.cs.washington.edu/daikon/ If you are working with source cloned from the source code repository https://github.com/codespecs/daikon, then please review the file README.source.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].