Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
64,764 visible repositories in the index
2,521–2,544 of 2,589 · 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
MXNet (AI/ML) bindings for the Crystal language.
- crystal
- mxnet
- deep-learning
- machine-learning
German small and large versions of GPT2.
- gpt2
- german
- common-crawl
- machine-learning
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
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
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
Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.
- agentic-ai
- ai-safety
- fastapi
- langchain
Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!
- serverless
- serverless-framework
- event-gateway
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.
Learn MongoDB using the terminal
chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models
Lightweight on-device keyword spotting engine for iOS using CoreML and real-time audio streaming.
:wrench: Hardware & computer guide for AI: how to choose & build a computer. This guide is intended for beginers in hardware, in order to plan what you need and how to choose parts for a computer specialized in Deep Learning. 🤖
Generative models for transcriptomic-driven or protein-driven molecular design (PaccMann^RL).
- deep-reinforcement-learning
- generative-model
- vae
- molecule-generation
TensorLight - A high-level framework for TensorFlow
- tensorflow
- framework
- deep-learning
- machine-learning
In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.
- swift
- swift3
- playgroundbook
- geometry
A playground to learn regular expressions with Swift
- swift-3
- regular-expression
- regex
- swift
▶️ An awesome list of awesome Spanish YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
Data engineering and machine learning toolkit for Go.
Prototype of an intelligent safety system for detecting driver drowsiness
- cpp
- cuda
- cudnn
- driver-drowsiness-detector
DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.