☆10Oct 27, 2019Updated 6 years ago
Alternatives and similar repositories for PySNES
Users that are interested in PySNES are comparing it to the libraries listed below
Sorting:
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- A Decentralized Scouting Solution for the First Robotics Competition.☆12Jan 19, 2024Updated 2 years ago
- different color themes for Caché Studio☆11Jan 27, 2021Updated 5 years ago
- A simple Java library for FRC to develop more complex programs with less code☆11Jan 8, 2023Updated 3 years ago
- A robotics development framework☆11Apr 27, 2024Updated last year
- [OUTDATED USE SwerveDrive2025 REPO] A swerve drive base code using SDS MK4 Modules, Neos, and SRX Mag Encoders. Features code for an elev…☆10Jan 19, 2024Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Source control using Git commands from InterSystems Cache Studio☆10Aug 31, 2017Updated 8 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- This repo was develop to host a based-project in the farming sector☆14Sep 6, 2025Updated 5 months ago
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 5 years ago
- ☆10Jan 16, 2025Updated last year
- An example of a REST web service implemented with ObjectScript that demonstrates a number of development best practices.☆10Dec 6, 2017Updated 8 years ago
- Triple Helix's code for the 2022 FRC Rapid React season☆10Nov 7, 2022Updated 3 years ago
- Aplicativo para auxílio da instalação de programas da receita federal, estadual e prefeituras em ambiente linux.☆11Updated this week
- 3D Room Mapping Arduino Robot☆12Dec 6, 2016Updated 9 years ago
- ☆12Nov 16, 2025Updated 3 months ago
- Java Koans for the FRC is an interactive, step by step, course to teach Java to students engaged in the First Robotics Competition☆11May 4, 2025Updated 9 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Parse FIRST FRC driver station log files☆18Mar 19, 2020Updated 5 years ago
- An RPI CM3+ based smart camera for vision tracking☆10Sep 14, 2020Updated 5 years ago
- Rebel Robotics Scouting App for FRC 2024: CRESCENDO!☆13Apr 1, 2024Updated last year
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- An RTS engine written in golang. Detaches the engine from the UI via a TCP/IP API. Any UI could be hung off of this. Tailored for large n…☆10Nov 8, 2019Updated 6 years ago
- FRC season map creator☆12Updated this week
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- ☆12Mar 4, 2025Updated 11 months ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- A C++ software renderer implementing the OpenGL Core pipeline, with a spec-based API, GPU state machine, and programmable shader model.☆21Jan 16, 2026Updated last month
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Object detection for the FIRST Robotics Competition☆14Nov 22, 2022Updated 3 years ago
- Additional Parts I authored for Fritzing☆13Feb 3, 2023Updated 3 years ago
- a very simple, tiny and intuitive ffmpeg wrapper with a cli interface for inspecting & transforming media files supported by the original…☆13Jul 8, 2024Updated last year