Repository of machine-checkable security models for Clawdbot, written primarily in TLA+ and checked with TLC. It functions as a security regression suite in which green models should pass and deliberately buggy red models should fail with a counterexample trace. Some checks are conformance-style, validating that the formal model matches Clawdbot's implementation constants.
Directory
Models & Machine Learning
Models and machine learning covers model hubs, research papers, training guides and evaluation tools. The topic mixes practical resources with reference material, so you will find repositories that host downloadable models next to sites that explain how a technique works. Some entries are collections of papers or benchmarks, and others are tutorials that walk through fine-tuning or deployment. It pays to compare the model licence, the training data, the hardware needed and the date of the last update. The field moves quickly, so verify version notes on the source before you build on anything listed here.
Open-source Python library for data-centric AI that helps clean data and labels by automatically detecting issues in machine learning datasets. It uses existing models to estimate dataset problems that can be fixed to train better models. It runs on Python 3.10+ and works with any model across classification, regression, segmentation and object detection tasks.
Cleanup.pictures is a web tool for removing unwanted objects, people, text and defects from pictures for free. It also describes use cases for product and real estate photos, and lists a free tier limited to 720p resolution plus paid Pro and API plans.
climin is a Python package for optimization that is heavily biased toward machine learning scenarios, distributed under the BSD 3-clause license. It works on top of numpy and partially gnumpy, and was started in winter 2011 by Christian Osendorfer and Justin Bayer.
Open-source project that provides machine-learning models, research, training resources, or evaluation tools.
clj-ml is an open-source machine learning library for the Clojure programming language, built on top of the Weka framework and associated tools. It is hosted as a public repository on GitHub, with installation guides for Clojars and Maven, and supports a range of machine learning algorithms.
ClojisR is a bridge between Clojure and R, described as "Clojure speaks statistics." It targets only JVM Clojure and supports a function-centric API for calling R functions on R objects from Clojure. It requires Linux, MacOS or WSL, JDK 1.8 or later, Clojure 1.9.0 or later, and the Rserve R package.
Clojure-openNLP is an open-source Clojure library that provides an interface to the Apache OpenNLP natural language processing toolkit. Hosted as a public GitHub repository, it includes usage instructions for the Leiningen build tool and sample usage from a Clojure REPL.
Open-source project that provides machine-learning models, research, training resources, or evaluation tools.
CML, or Continuous Machine Learning, is an open-source CLI tool for implementing CI/CD with a focus on MLOps. It is used to automate development workflows, including machine provisioning, model training and evaluation, comparing ML experiments across project history, and monitoring changing datasets. It can generate a visual report with results and metrics automatically on every pull request, using GitLab, GitHub, or Bitbucket.
Cohere provides access to advanced Large Language Models and NLP tools.
Codecademy's Data Scientist: Machine Learning Specialist Career Path is a beginner-level course covering Python 3, SQL, pandas, scikit-learn, Matplotlib, and TensorFlow. The path is listed as taking 95 hours on average and includes 59 projects with no prerequisites, and is described as teaching analysis of data, drawing predictions with machine learning, and building neural networks.
Codeflash uses AI to automatically find the most optimized version of your Python code through benchmarking — while verifying it's correct.
Awesome-Code-LLM is a curated list of language modeling research for code and other software engineering activities, plus related datasets. The GitHub repository is marked TMLR and links to an arXiv paper.
Open Code LLMs for Code Understanding and Generation.
Open-source project that provides machine-learning models, research, training resources, or evaluation tools.
Documentation for Sourcegraph, the code intelligence platform.
Cogitare is a modern, fast, modular deep learning and machine learning framework for Python built on top of PyTorch, with a user-friendly interface for beginners and advanced toolsets for experts.
Cohere builds powerful AI models and enterprise AI solutions that enable organizations to automate processes, empower employees, and turn fragmented data into actionable insights. Its offerings are private, secure, and customizable for enterprise use.
Colab demo provides machine-learning models, research, training resources, or evaluation tools.
Colibri Core is an NLP tool and a C++ and Python library for working with basic linguistic constructions such as n-grams and skipgrams, i.e. patterns with one or more gaps of fixed or dynamic size. It counts and extracts patterns from large corpus data. The central tool, colibri-patternmodeller, builds, views, manipulates and queries pattern models.
Creates, rewrites or summarizes written content with language models.
Track your datasets, code changes, experimentation history, and models.
An open-source project that provides tools to debug, evaluate, and monitor large language model (LLM) applications, retrieval-augmented generation (RAG) systems, and agentic workflows, with features including comprehensive tracing, automated evaluations, and production-ready dashboards.