Stars
The home of the CUE language! Validate and define text-based and dynamic configuration
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Convert LaTeX math equations to PNG/JPEG/SVG images
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
LlamaIndex is the leading document agent and OCR platform
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.