Awesome Formal Verification is a GitHub repository or organization with source code, releases, documentation, or project resources.
Directory
Search results
Published directory entries matching your search.
Source code and experiments results for 2018 Data Science Bowl.
A streamlit app to dialog with your second brain notes using OpenAI and ChromaDB locally.
A DeepSeek-native terminal coding agent in Rust with OS-level sandboxing, persistent goal mode, background tasks, and verification gates.
Research archive containing dark-web authorship verification datasets and baseline models.
ChatGLM2-6B is the second-generation version of the open-source bilingual (Chinese-English) chat model ChatGLM-6B.
🏷️ Expose your Discord presence and activities to a RESTful API and WebSocket in less than 10 seconds
No need to keep checking your training, just one import line and you'll know the second it's done.
Dump all your files and chat with it using your generative AI second brain using LLMs & embeddings.
Dump all your files and chat with it using your generative AI second brain using LLMs & embeddings.
Awesome Courses is a GitHub repository or organization with source code, releases, documentation, or project resources.
cs-video-courses is a GitHub repository or organization with source code, releases, documentation, or project resources.
Free-Courses-For-Everyone is a GitHub repository or organization with source code, releases, documentation, or project resources.
Udemy-Course-Enroller is a storage, design, or frontend resource for mockups, assets, UI tools, or web search.
EbookFoundation Courses is a code project with source, releases, documentation, or setup notes.
Streaming application from free-project-course, with tools for browsing or playing online media.
LLM Course is a GitHub repository or organization with source code, releases, documentation, or project resources.
ML Course Notes is a GitHub repository or organization with source code, releases, documentation, or project resources.
ML YouTube Courses is a GitHub repository or organization with source code, releases, documentation, or project resources.
Open-source project that provides AI-assisted learning, courses, tutorials, or study support.
Notes, programming assignments and quizzes from all courses within the Coursera Deep Learning specialization offered by deeplearning.ai.
Course content and resources for the AIAIART course.
Python materials for the online course on diffusion models by @huggingface.
IPython notebooks for a complete course around understanding Nervana's Neon.