ivanbelenky / RLLinks
R.L. methods and techniques.
☆199Updated 11 months ago
Alternatives and similar repositories for RL
Users that are interested in RL are comparing it to the libraries listed below
Sorting:
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆177Updated 8 months ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated last year
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆350Updated 3 weeks ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- ☆248Updated last year
- Automated, smooth, N'th order derivatives of non-uniformly sampled time series data☆228Updated last year
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads…☆150Updated 2 months ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆100Updated last year
- time to learn mlx☆40Updated last month
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- A BERT that you can train on a (gaming) laptop.☆207Updated 2 years ago
- High-Performance Klong array language in Python.☆311Updated last month
- Sequential Logic☆114Updated last week
- A tiny autograd engine with a Jax-like API☆74Updated 4 months ago
- ☆126Updated 5 months ago
- Optimally allocate poker chips using constrained, nonlinear optimization☆174Updated 11 months ago
- Docker-based inference engine for AMD GPUs☆230Updated last year
- Rewriting Principia Mathematica in Lean☆135Updated 2 months ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆224Updated 3 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated 2 months ago
- ☆52Updated last year
- ☆47Updated 7 months ago
- Algebraic enhancements for GEMM & AI accelerators☆281Updated 8 months ago
- Financial instrument definitions built with Python and Pydantic☆199Updated 9 months ago
- A reimplementation of Stable Diffusion 3.5 in pure PyTorch☆683Updated 5 months ago
- Dead Simple LLM Abliteration☆235Updated 8 months ago
- ☆68Updated 3 weeks ago
- This repo contains a new way to use bloom filters to do lossless video compression☆250Updated 5 months ago