Reinforcement Learning on Atari Games and Control
☆22Apr 14, 2020Updated 6 years ago
Alternatives and similar repositories for Deep-Q-Learning-Atari-Pytorch
Users that are interested in Deep-Q-Learning-Atari-Pytorch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Supporting material for https://arxiv.org/abs/1907.04769☆12Sep 20, 2021Updated 5 years ago
- LaTeX template for University of Michigan Thesis☆13May 9, 2023Updated 3 years ago
- ☆11Sep 16, 2019Updated 7 years ago
- Amazing work studio using google scholar lab☆13Mar 22, 2026Updated 7 months ago
- Python API for the SUMO environment of Plymouth Rd.☆14Feb 1, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A targeted resource for mastering Pandas, featuring practice problems, code examples, and interview-focused data manipulation techniques …☆18May 22, 2025Updated last year
- Official Implementation of Constrained Neural Fields (CNF)☆17Jan 1, 2024Updated 2 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- pycombina - Solving binary approximation problems in Python☆23Nov 26, 2023Updated 2 years ago
- A collection of Typst math commands/shortcuts defined for the purpose of having the same/similar names as LaTeX math expressions.☆24Apr 3, 2023Updated 3 years ago
- A comprehensive solution for using the latest VS Code Remote-SSH extension with CentOS 7.9 servers by automatically patching library depe…☆22Jun 29, 2025Updated last year
- Admm-based Interior Point Method for Linear Programming☆30Apr 3, 2024Updated 2 years ago
- StochOptim is a Stochastic Optimization package with scenario-generation tools for two- and multi-stage problems☆28Feb 13, 2023Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of SCAPE☆41Nov 19, 2017Updated 8 years ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of various ulx3s examples☆13Oct 5, 2020Updated 6 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- Play with LLaMA & GPT-3!☆10May 29, 2023Updated 3 years ago
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- Pytorch implementation of Physics Guided Differential Equation Network for Air Quality Prediction (AirPhyNet).☆42Feb 24, 2024Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Declarative, type-safe json-rpc endpoints library☆10Sep 26, 2023Updated 3 years ago
- A Timing Engine Inspired Graph Neural Network Model for Pre-Routing Slack Prediction (DAC 2022). Open source code available at https://gi…☆10Mar 22, 2023Updated 3 years ago
- Implementation of Our ISPD'19 Paper: Graceful Register Clustering by Effective Mean Shift Algorithm for Power and Timing Balancing☆13Feb 16, 2026Updated 8 months ago
- Termser - run a full browser in your terminal☆15Apr 24, 2023Updated 3 years ago
- HomePod + Raspberry Pi + Crystal+ Slack = Magic☆11Dec 16, 2020Updated 5 years ago