yogacha

faiss

A library for efficient similarity search and clustering of dense vectors.

milvus

A cloud-native vector database, storage for next generation AI applications

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

faas

OpenFaaS - Serverless Functions Made Simple

bazel

a fast, scalable, multi-language and extensible build system

mojo

The Mojo Programming Language

evals

Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

annoy

Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk

memray

Memray is a memory profiler for Python

git-blame-someone-else

Blame someone else for your bad code.

great_expectations

Always know what to expect from your data.

pyro

Deep universal probabilistic programming with Python and PyTorch

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

feast

The Open Source Feature Store for Machine Learning

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

missingno

Missing data visualization module for Python.

lmql

A language for constraint-guided and efficient LLM programming.

awesome-logseq

Awesome Logseq resources created by the community <3

lean3

Lean Theorem Prover

uptrain

UpTrain is an open-source unified platform to evaluate and improve Generative AI applications. We provide grades for 20+ preconfigured checks (covering language, code, embedding use-cases), perform root cause analysis on failure cases and give insights on how to resolve them.

ncps

PyTorch and TensorFlow implementation of NCP, LTC, and CfC wired neural models

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Soar

Soar, a general cognitive architecture for systems that exhibit intelligent behavior.

simbiotico

GPT / Human collaboration mindmap tool, using OpenAI ChatGPT API

feynman

Quantum circuit analysis toolkit

AutoQ

QSynth

Quokka-Sharp