j29scott

eudoxus

eudoxus: UCLID5 text-to-code tool

talipp

talipp - incremental technical analysis library for python

grok-1

Grok open release

text-generation-webui

A Gradio web UI for Large Language Models.

Clover

Clover: Closed-Loop Verifiable Code Generation

VNN-LIB_issues

Repository for issue discussion

lightweight-charts

Performant financial charts built with HTML5 canvas

imbalanced-learn

A Python Package to Tackle the Curse of Imbalanced Datasets in Machine Learning

vnncomp2023_benchmarks

Benchmarks for the VNN Comp 2023

lmql

A language for constraint-guided and efficient LLM programming.

gpt4free

The official gpt4free repository | various collection of powerful language models

vnnlib

A package for parsing neural network properties in VNN-LIB format

evals

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

vnncomp2023

Fourth edition of VNN COMP (2023)

skorch

A scikit-learn compatible neural network library that wraps PyTorch

contextualbandits

Python implementations of contextual bandits algorithms

vnncomp2022_results

fuzzer

diplomacy_cicero

Code for Cicero, an AI agent that plays the game of Diplomacy with open-domain natural language negotiation.

sherlock

Hunt down social media accounts by username across social networks

catboost

A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports computation on CPU and GPU.

prophet

Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.

statsforecast

Lightning ⚡️ fast forecasting with statistical and econometric models.

SMT.tmbundle

Linguist/TextMate support for SMT-LIB2

onnx2pytorch

Transform ONNX model to PyTorch representation

Factorio-SAT

Enhancing the Factorio experience with SAT solvers

TabPFN

Official implementation of the TabPFN paper (https://arxiv.org/abs/2207.01848) and the tabpfn package.

cleanrl

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

lists

TTS

🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production