This course is designed to guide beginners through the exciting world of Edge AI, covering fundamental concepts, popular models, inference techniques, device-specific applications, model optimizati…

Anthropic's Interactive Prompt Engineering Tutorial

Light-weight control pane to run CLI coding agents(Claude Code, Codex) in parallel

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/jP8KfhDhyN

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Access large language models from the command-line

A curated list of reinforcement learning with human feedback resources (continually updated)

Port of OpenAI's Whisper model in C/C++

GraphQL for Java with Spring Boot made easy.

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

A Bulletproof Way to Generate Structured JSON from Language Models

PyTorch code and models for the DINOv2 self-supervised learning method.

Scalar: A set of tools and extensions for Git to allow very large monorepos to run on Git without a virtualization layer

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Robust Speech Recognition via Large-Scale Weak Supervision

git commit --fixup, but automatic

SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. 🔥 🖥. 👉 Open sour…

A tool for refurbishing and modernizing Python codebases

Write expressive, high-performance parsers with ease.

Silero Models: pre-trained text-to-speech models made embarrassingly simple

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)

Grist is the evolution of spreadsheets.

PostgreSQL database adapter for the Python programming language

CSV Plot is a tool to easily plot any CSV file, of any size, without ever running out of memory.