yogacha

simcount

Quantum algorithms for the simulation of Hamiltonian dynamics.

Quokka-Sharp

feynman

Quantum circuit analysis toolkit

AutoQ

QSynth

sioyek

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

cvc5

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

lmql

A language for constraint-guided and efficient LLM programming.

s2e

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

pyro

Deep universal probabilistic programming with Python and PyTorch

simbiotico

GPT / Human collaboration mindmap tool, using OpenAI ChatGPT API

bazel

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

Soar

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

mojo

The Mojo Programming Language

missingno

Missing data visualization module for Python.

feast

The Open Source Feature Store for Machine Learning

git-blame-someone-else

Blame someone else for your bad code.

evals

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

ncps

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

awesome-logseq

Awesome Logseq resources created by the community <3

polars

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

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.

mathlib3

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

lean3

Lean Theorem Prover

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.

annoy

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

faiss

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

memray

Memray is a memory profiler for Python

milvus

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

faas

OpenFaaS - Serverless Functions Made Simple