Stars
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Fuji is an AI agent that lives in your browser's sidepanel. You can now get tasks done online with a single command!
Uncertainty quantification with PyTorch
the AI-native open-source embedding database
LlamaIndex is the leading framework for building LLM-powered agents over your data.
Lean 4 programming language and theorem prover
DSPy: The framework for programming—not prompting—language models
Modular high resolution terrain models for 3D printing.
You like pytorch? You like micrograd? You love tinygrad! ❤️
Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models
Probabilistic Numerics in Python.
An extremely fast Python linter and code formatter, written in Rust.
Ultralight, security-first service mesh for Kubernetes. Main repo for Linkerd 2.x.
Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
vCluster - Create fully functional virtual Kubernetes clusters - Each vcluster runs inside a namespace of the underlying k8s cluster. It's cheaper than creating separate full-blown clusters and it …
A framework for managing and maintaining multi-language pre-commit hooks.
UnionML: the easiest way to build and deploy machine learning microservices
H2O LLM Studio - a framework and no-code GUI for fine-tuning LLMs. Documentation: https://docs.h2o.ai/h2o-llmstudio/
A python native client for easy interaction with a Weaviate instance.
🦜🔗 Build context-aware reasoning applications
A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)
BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.