ranyishere

Rany Tith's starred repositories

langchain

🦜🔗 Build context-aware reasoning applications

Language:Jupyter NotebookMIT90734 678 7387

llama.cpp

LLM inference in C/C++

FastChat

An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

Language:PythonApache-2.036143 348 1746

gradio

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

Language:PythonApache-2.031583 164 4611

ultralytics

NEW - YOLOv8 🚀 in PyTorch > ONNX > OpenVINO > CoreML > TFLite

Language:PythonAGPL-3.027349 153 8330

langflow

Langflow is a low-code app builder for RAG and multi-agent AI applications. It’s Python-based and agnostic to any model, API, or database.

Language:JavaScriptMIT24276 192 1158

mojo

The Mojo Programming Language

Language:MojoNOASSERTION22575 265 1981

alpaca.cpp

Locally run an Instruction-Tuned Chat-Style LLM

Language:CMIT10257 102 187

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:HTMLMIT10233 24 537

probability

Probabilistic reasoning and statistical analysis in TensorFlow

Language:Jupyter NotebookApache-2.04223 163 1363

Awesome-Bioinformatics

A curated list of awesome Bioinformatics libraries and software.

3035 168 10

circt

Circuit IR Compilers and Tools

Language:C++NOASSERTION1601 253 2035

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

Language:Python1221 680

cvc5

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

Language:SMTNOASSERTION991 35 2575

cello

Genetic circuit design automation

Language:JavaBSD-2-Clause803 79 38

Arend

The Arend Proof Assistant

Language:JavaApache-2.0689 14 251

gflownet

Generative Flow Networks

Language:PythonMIT582 14 17

category-theory-programmers

Category theory in the context of (functional) programming

MIT513 30 4

cellauto

Cellular Automata in Javascript

Language:HTML418 14 5

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

Language:CoqLGPL-2.1378 16 30

pints

Probabilistic Inference on Noisy Time Series

Language:PythonNOASSERTION224 12 998

TransformersCanDoBayesianInference

Official Implementation of "Transformers Can Do Bayesian Inference", the PFN paper

Language:Python179 15 3

scrublet

Detect doublets in single-cell RNA-seq data

Language:Jupyter NotebookMIT124 5 57

pyhopper

PyHopper is a hyperparameter optimizer, made specifically for high-dimensional problems arising in machine learning research.

Language:PythonApache-2.085 4 2

AlgebraicDynamics.jl

Building dynamical systems compositionally

Language:Jupyter NotebookMIT64 11 31

wavy

Time-Series Manipulation

Language:Jupyter NotebookMIT64 4 9

URSABench

Codebase for our paper "URSABench: Comprehensive Benchmarking of Approximate Bayesian Inference Methods for Deep Neural Networks"

Language:PythonNOASSERTION17 50

PathComposer

Implements a compositional algorithm for computing shortest paths on weighted graphs

Language:PythonNOASSERTION11 10

EQL-Wind-Speed-Forecasting

Official repository for the paper "Symbolic regression for scientific discovery: an application to wind speed forecasting"

Language:Python10 20

pai

Code for Parallel MCMC Without Embarrassing Failures (AISTATS 2022)

Language:Jupyter Notebook7 20