☆18Aug 24, 2026Updated this week
Alternatives and similar repositories for checklists
Users that are interested in checklists are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated 2 years ago
- Your infra is basically a CDN now: Precision engineered static asset delivery☆17Jun 21, 2025Updated last year
- Tool to archive GTFS-rt data☆16Aug 18, 2025Updated last year
- PawPad programming header☆18Mar 9, 2023Updated 3 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.
- A parametric PLCC plug adapter written in OpenSCAD☆18Jan 30, 2026Updated 6 months ago
- syslog server written in Rust as an introduction to mio for Triangle Rustaceans☆17Jun 30, 2019Updated 7 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- Webhook puppet module for executing r10k when git repository is pushed.☆12Apr 13, 2015Updated 11 years ago
- VS Code Web Extension demonstrating WebUSB access☆19Jun 30, 2022Updated 4 years ago
- this is a placeholder repo speccing out the blade "inline graphql" idea. for a prototype see this site =>☆12Jul 11, 2018Updated 8 years ago
- A user-space port of the altera-stapl driver from the linux kernel☆14Jan 10, 2023Updated 3 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- Next-Generation FPGA Place-and-Route☆10Aug 1, 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.
- A library for SSH key based (agents or static files) authentication tokens☆28Sep 8, 2025Updated 11 months ago
- Fly your planes to victory as you re-create the aerial battles of the First World War!☆12Oct 24, 2025Updated 10 months ago
- Finds, and optionally removes, duplicate files.☆55Dec 7, 2025Updated 8 months ago
- a delicious way to organize programs☆10Apr 8, 2020Updated 6 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- DEPRECATED installer for Mbed CLI on OS X☆14Sep 14, 2023Updated 2 years ago
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- ☆13May 16, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An example of how you can fully integrate wasm into a webpage. No need for fetching or any of that jazz.☆15Nov 6, 2020Updated 5 years ago
- (migrated to https://codeberg.org/shiz/img4) various low-level Apple data structure tools☆16Jan 18, 2021Updated 5 years ago
- U2F-Emulated☆26Sep 28, 2023Updated 2 years ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated 2 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Utility for looking up Unicode characters and HTML entities by code, name, block, or description. Written in Perl, compatible with almos…☆20Oct 22, 2023Updated 2 years ago
- ☆14Apr 17, 2025Updated last year
- Repo to help explain the different options users have for packaging.☆19Jun 8, 2022Updated 4 years ago
- Tegra2 emulation☆27Oct 16, 2021Updated 4 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.
- Sail RISC-V model☆12Jun 23, 2025Updated last year
- ☆15Jul 21, 2026Updated last month
- IBM MCGA reverse engineered chips☆40Jun 1, 2025Updated last year
- A Java library for pretty printing that supports custom objects, recursive printing and collections.☆11Nov 4, 2018Updated 7 years ago
- GTFS Data Exchange☆16Apr 4, 2016Updated 10 years ago
- ☆16Jun 13, 2021Updated 5 years ago
- ☆14May 15, 2023Updated 3 years ago