Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
1,513–1,536 of 1,623 · Most stars
GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.
- golang
- go
- machine-learning
- stats
Transform Git history: rewrite, clean, and optimize your repositories with ease.
- automation
- cli
- git
- python
MXNet (AI/ML) bindings for the Crystal language.
- crystal
- mxnet
- deep-learning
- machine-learning
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
German small and large versions of GPT2.
- gpt2
- german
- common-crawl
- machine-learning
Sandboxed devcontainer for running Claude Code, Codex, and OpenCode in bypass / auto-approve mode.
- ai
- claude-code
- codex
- devcontainer
Machine learning on dirty tabular data (legacy clone of skrub)
Workbench for practical machine learning in Ruby.
- machine-learning
- machine-learning-algorithms
- neural-network
- neural-networks
⛓ A Crystal library for building Markov Chains and running Markov Processes.
- markov-chain
- markov-model
- markovian-processes
- markov
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
MicroPython library for the VoiceTX SYN6988 text to speech module
- micropython
- speech-synthesis
- tts
- syn6988
A powerful and easy-to-use PHP SDK for the Mistral AI API, allowing seamless integration of advanced AI-powered features into your PHP projects.
- ai
- api
- api-client
- api-wrapper
Ruby based API for the project Wortschatz Leipzig.
- rubynlp
- ruby
- nlp
- natural-language-processing
Gemini CLI wrapped as a Docker image, so you don't need to trash your OS with Node and it's dependencies.
An example of using Gemini CLI with MCP Servers for Genmedia and Gemini 2.5 Flash Image model
- ai
- filmmaking
- gemini
- gemini-cli
Capacitor plugin for speech recognition.
The E2E AI testing tool | No ML Overhead
Engine-agnostic MCP server shared by Unity-MCP, Godot-MCP and Unreal-MCP
A coding exercise: let's convert dirty machine learning code into clean code using a Pipeline - which is the Pipe and Filter Design Pattern applied to Machine Learning.
chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models
Generate conventional commit messages using AI, directly in Neovim
- ai
- conventional-commits
- developer-tools
- git
It falls out of your notch. Hotkey, repo, Return: your terminal opens with Claude Code, Codex or any agent already running. Free, MIT, local-only macOS.
An example app that demos how to use TFLite to do automatic speech recognition on-device