ngrislain

Http.lean

HTTP Primitives for Lean4

nanoda_lib

Library implementing type inference/checking functionality based on the Lean theorem prover

burn

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.

nix

Nix, the purely functional package manager

torchtune

A Native-PyTorch Library for LLM Fine-tuning

fast-differential-privacy

Fast, memory-efficient, scalable optimization of deep learning with differential privacy

mistral-finetune

frugalos

Frugal Object Storage

qrlew

arena

A place to evaluate public models

mojo

The Mojo Programming Language

markdown_science

Learn how to use markdown for science

scholmd

Learn how to use scholarly markdown

full-stack-fastapi-template

Full stack, modern web application template. Using FastAPI, React, SQLModel, PostgreSQL, Docker, GitHub Actions, automatic HTTPS and more.

num

A collection of numeric types and traits for Rust.

pyxel

A retro game engine for Python

haystack

:mag: LLM orchestration framework to build customizable, production-ready LLM applications. Connect components (models, vector DBs, file converters) to pipelines or agents that can interact with your data. With advanced retrieval methods, it's best suited for building RAG, question answering, semantic search or conversational agent chatbots.

petgraph

Graph data structure library for Rust.

rustworkx

A high performance Python graph library implemented in Rust.

DPSDA

[ICLR 2024] Generating DP Synthetic Data without Training

aici

AICI: Prompts as (Wasm) Programs

redoc

📘 OpenAPI/Swagger-generated API Reference Documentation

best-of-lean4

A list of awesome lean4 projects.

awesome-lean

A collaborative list of awesome Lean resources. Feel free to contribute!

awesome-python

An opinionated list of awesome Python frameworks, libraries, software and resources.

fastapi

FastAPI framework, high performance, easy to learn, fast to code, ready for production

pydantic

Data validation using Python type hints

httpx

A next generation HTTP client for Python. 🦋

gallimimus