Alternatives and similar repositories for RL:

Users that are interested in RL are comparing it to the libraries listed below

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆57Updated last month
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• Al-th / grpo_experiment
  Experiment on reimplementation of GRPO RL
  ☆12Updated 2 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆113Updated last year
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated last month
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆99Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• lean-dojo / LeanAgent
  ☆24Updated last month
• rzeta0 / Lean-First-Steps
  ☆16Updated 2 months ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• verse-lab / obatcher_ds
  ☆19Updated 7 months ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• accretional / semantifly
  ☆14Updated 7 months ago
• cbenzmueller / LogiKEy
  LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
  ☆17Updated last month
• Atcold / NYU-AISP24
  NYU Artificial Intelligence Spring 2024
  ☆55Updated 5 months ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆30Updated this week
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆105Updated 6 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated 10 months ago
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆42Updated 6 months ago
• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆11Updated 2 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 8 months ago