samuellihn / ACSL-Problems-ResourcesView external linksLinks
☆15Nov 23, 2021Updated 4 years ago
Alternatives and similar repositories for ACSL-Problems-Resources
Users that are interested in ACSL-Problems-Resources are comparing it to the libraries listed below
Sorting:
- ☆15Nov 22, 2025Updated 2 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Pi-Apps project website☆12Updated this week
- Digiexam Cheat☆10Sep 23, 2023Updated 2 years ago
- A Swift/SwiftUI media player for jailbroken iOS devices.☆13Dec 21, 2023Updated 2 years ago
- Generates GIF files with Japanese kanji stroke order animations.☆10Apr 29, 2024Updated last year
- Full-API for generating new Biomes, Features and more in Version 1.16☆13May 9, 2025Updated 9 months ago
- ☆13Oct 22, 2021Updated 4 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Super simple script to create Debian packages☆12Jan 11, 2022Updated 4 years ago
- apps, fixes, and optimizations for the RaspberryPi running Ubuntu desktop☆11Dec 20, 2021Updated 4 years ago
- Generates timelapse videos using data exported from the Kanjigrid Anki addon.☆12Jun 5, 2025Updated 8 months ago
- 青空文庫のテキストファイル☆13Feb 4, 2024Updated 2 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- Shutdown helper app for desktop☆10Jan 18, 2026Updated 3 weeks ago
- Implements an Advanced Configuration and Power Interface (ACPI) based battery manager kernel extension (kext/driver) for non-Apple laptop…☆16Jun 16, 2012Updated 13 years ago
- UW-Madison Course Monitor☆10Oct 4, 2019Updated 6 years ago
- Automatically check for updates on boot. If there are any, asks permission to upgrade.☆13Aug 17, 2023Updated 2 years ago
- Qt version (GUI) of Magi CPU Miner☆10Oct 18, 2015Updated 10 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- The ANTLR 4 Website☆17Aug 3, 2024Updated last year
- Mac OS running on QEMU-KVM (Pre-install 20GB)☆12Jan 8, 2022Updated 4 years ago
- Reimplementation of proprietary MTP responders for black-box testing☆16Aug 18, 2025Updated 5 months ago
- Flight simulator demo for Arduboy☆11Aug 16, 2019Updated 6 years ago
- Game UI for cocos2d-js☆28Sep 27, 2014Updated 11 years ago
- ☆13May 20, 2022Updated 3 years ago
- duino-coin-miner-3ds☆10Jul 13, 2021Updated 4 years ago
- System.Windows.Forms for NetStandard☆10Aug 25, 2018Updated 7 years ago
- ☆12Sep 30, 2021Updated 4 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- SixArm.com » Brew install scripts for our various packages☆12Apr 14, 2025Updated 10 months ago
- A Web GUI manager for docker.☆11May 16, 2023Updated 2 years ago
- Undead Assault 3 map for StarCraft II☆14Sep 3, 2018Updated 7 years ago
- XBMC video plugin to browse all videos, podcasts and livetv-channels from nasa.gov☆14Apr 7, 2017Updated 8 years ago
- Sudoku solver written in python☆12May 22, 2022Updated 3 years ago
- A tool for making password-protected files☆11Jul 6, 2023Updated 2 years ago
- The repository for the new Fosshost documentation.☆10Apr 22, 2024Updated last year