#
Lists (13)
Starred repositories
Certified Reasoning with Language Models
Learning Formal Mathematics from Intrinsic Motivation
An environment for learning formal mathematical reasoning from scratch
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.
Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! 🦥
Hosts the website for mathlib and other Lean community infrastructure.
Lean 4 programming language and theorem prover
The list of public blockchain datasets in BigQuery
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Everything you need to build state-of-the-art foundation models, end-to-end.
⚡️Curated list of resources for the development and applications of blockchain.
Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
A Zotero plugin for syncing items and notes into Notion
Bionic reading experience with Zotero.
Go implementation of the Ethereum protocol
🧑🏫 60+ Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), ga…
List of Computer Science courses with video lectures.
Master programming by recreating your favorite technologies from scratch.
Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Tensors and Dynamic neural networks in Python with strong GPU acceleration
