☆18Nov 22, 2022Updated 3 years ago
Alternatives and similar repositories for Deep-Reinforcement-Learning-on-Atari-Games
Users that are interested in Deep-Reinforcement-Learning-on-Atari-Games are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Implementation and evaluation of the RL algorithm Rainbow to learn to play Atari games.☆10Aug 19, 2020Updated 6 years ago
- ☆13Aug 17, 2020Updated 6 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
- Code for "Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks"☆11Jan 20, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Training InstructPi2Pix with SDXL.☆20Sep 8, 2023Updated 3 years ago
- The code for the paper, 'Meta-Curvature, Eunbyung Park and Junier Oliver, NeurIPS 2019'☆11Jan 20, 2020Updated 6 years ago
- Code for "What really matters in matrix-whitening optimizers?"☆25Oct 31, 2025Updated last year
- ☆24Sep 22, 2021Updated 5 years ago
- ☆20Updated this week
- VidKV: Plug-and-Play 1.x-Bit KV Cache Quantization for Video Large Language Models☆25Mar 26, 2025Updated last year
- Code for "Matching Features, Not Tokens: Energy-Based Fine-Tuning of Language Models".☆23Mar 16, 2026Updated 7 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Write formal proofs in natural language and LaTeX.☆53Oct 25, 2026Updated last week
- 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.
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago
- 基于Eigen运算库的深度学习框架(支持CUDA加速)☆18Jan 12, 2022Updated 4 years ago
- This repository provides the official implementation of QSVD, a method for efficient low-rank approximation that unifies Query-Key-Value …☆31May 16, 2026Updated 5 months ago
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- ☆20Jan 22, 2026Updated 9 months 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
- Implemention of the GRASP world model planner for dino_wm environments☆37Apr 6, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 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 last year
- Collection of various ulx3s examples☆13Oct 5, 2020Updated 6 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- ☆38May 11, 2024Updated 2 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- A Preprocessor for Verilog HDL written in C++☆11May 26, 2012Updated 14 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year