Awesome Open Source

Programming Languages

Peano

An environment for learning formal mathematical reasoning from scratch

Categories > Machine Learning > Reinforcement Learning

Suggest Alternative

Stars

7

License

mit

Most Recent Commit

a year ago

Programming Language

Python

Categories

Programming Languages > Python

Machine Learning > Reinforcement Learning

Mathematics > Theorem Proving

Suggest An Alternative To peano

Popular Reinforcement Learning Projects

Cs Video Courses ⭐ 62,887

List of Computer Science courses with video lectures.

most recent commit 3 months ago

Annotated_deep_learning_paper_implementations ⭐ 41,877

🧑‍🏫 60 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠

dependent packages 2total releases 79latest release November 05, 2023most recent commit 4 months ago

pypi labml-nn} Downloads

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

dependent packages 363total releases 95latest release December 04, 2023most recent commit 3 months ago

pypi ray} Downloads

Applied Ml ⭐ 24,828

📚 Papers & tech blogs by companies sharing their work on data science & machine learning in production.

most recent commit 6 months ago

D2l En ⭐ 20,613

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

total releases 2latest release November 13, 2022most recent commit 3 months ago

Popular Theorem Proving Projects

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.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Lean3 ⭐ 2,138

Lean Theorem Prover

most recent commit 7 months ago

CakeML: A Verified Implementation of ML

most recent commit 3 months ago

Leancopilot ⭐ 593

LLMs as Copilots for Theorem Proving in Lean

most recent commit 3 months ago

Popular Machine Learning Categories

Machine Learning

Natural Language Processing

Computer Vision

Convolutional Neural Networks

Related Searches

Python Reinforcement Learning

Python Theorem Proving

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Python

Reinforcement Learning

Theorem Proving

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.