Skip to content
View sylvaincom's full-sized avatar
👋
Check out my website!
👋
Check out my website!

Block or report sylvaincom

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

The open source coding agent.

TypeScript 97,492 9,192 Updated Feb 4, 2026

Build Conversational AI in minutes ⚡️

Python 11,510 1,646 Updated Feb 3, 2026

🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with OpenTelemetry, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23

TypeScript 21,514 2,113 Updated Feb 4, 2026

LLM agents built for control. Designed for real-world use. Deployed in minutes.

Python 17,695 1,493 Updated Feb 4, 2026

code for deep learning courses

Jupyter Notebook 1,248 331 Updated Dec 12, 2025

The best ChatGPT that $100 can buy.

Python 42,251 5,448 Updated Feb 4, 2026

A high-throughput and memory-efficient inference and serving engine for LLMs

Python 69,482 13,186 Updated Feb 4, 2026

Structured Outputs

Python 13,369 662 Updated Feb 2, 2026

Official code repo for the O'Reilly Book - "Hands-On Large Language Models"

Jupyter Notebook 20,231 4,819 Updated Dec 17, 2025

The math library of Lean 4

Lean 2,856 1,059 Updated Feb 4, 2026

Keep code, data, containers under control with git and git-annex

Python 624 118 Updated Feb 2, 2026

Sources for the DataLad handbook

Python 163 55 Updated Nov 8, 2025
SCSS 2 Updated Aug 19, 2025

Inspirational Mapping

JavaScript 2,817 82 Updated Dec 14, 2025

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Rocq Prover 23 18 Updated Jul 29, 2025

Python training for business analysts and traders

Jupyter Notebook 12,707 2,056 Updated Jul 17, 2024

Lean 4 programming language and theorem prover

Lean 7,242 748 Updated Feb 4, 2026

Front-end for the new Algorea platform

TypeScript 6 1 Updated Feb 4, 2026

Backend for the new Algorea platform

Go 4 3 Updated Jan 27, 2026

Machine learning in Python with scikit-learn MOOC

Jupyter Notebook 4 1 Updated Feb 4, 2026

LiveBench: A Challenging, Contamination-Free LLM Benchmark

Python 1,031 99 Updated Jan 29, 2026

Kimina Lean server (+ client SDK)

Python 174 27 Updated Jan 11, 2026

Renderer for the harmony response format to be used with gpt-oss

Rust 4,171 252 Updated Dec 15, 2025

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Python 19,728 2,031 Updated Jan 13, 2026

Fast and modular sklearn replacement for generalized linear models

Python 191 42 Updated Sep 30, 2025

Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. Powered by Vercel AI SDK!

TypeScript 11,388 1,453 Updated Dec 31, 2025

Forecast evaluation library

Python 143 14 Updated Jan 28, 2026

Get up and running with Kimi-K2.5, GLM-4.7, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Go 161,705 14,444 Updated Feb 4, 2026

An automatic evaluator for instruction-following language models. Human-validated, high-quality, cheap, and fast.

Jupyter Notebook 1,941 298 Updated Aug 9, 2025

Code and documentation to train Stanford's Alpaca models, and generate the data.

Python 30,265 4,015 Updated Jul 17, 2024
Next