☆17Mar 17, 2026Updated this week
Alternatives and similar repositories for checklists
Users that are interested in checklists are comparing it to the libraries listed below
Sorting:
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- A parametric PLCC plug adapter written in OpenSCAD☆16Jan 30, 2026Updated last month
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated last year
- web application supporting polycule movie night☆11Updated this week
- Rust crates for MCTP protocol support, on Linux and embedded☆17Feb 18, 2026Updated last month
- Tool to archive GTFS-rt data☆16Aug 18, 2025Updated 7 months ago
- Nix expressions for JavaScript☆19Aug 11, 2023Updated 2 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- syslog server written in Rust as an introduction to mio for Triangle Rustaceans☆17Jun 30, 2019Updated 6 years ago
- PawPad programming header☆18Mar 9, 2023Updated 3 years ago
- VS Code Web Extension demonstrating WebUSB access☆19Jun 30, 2022Updated 3 years ago
- this is a placeholder repo speccing out the blade "inline graphql" idea. for a prototype see this site =>☆12Jul 11, 2018Updated 7 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- Next-Generation FPGA Place-and-Route☆10Aug 1, 2018Updated 7 years ago
- Fly your planes to victory as you re-create the aerial battles of the First World War!☆12Oct 24, 2025Updated 4 months ago
- Library to use the Waveshare 2.7" e-paper HAT for Raspberry Pi☆11Nov 4, 2019Updated 6 years ago
- Magma Hackathon☆12Mar 4, 2020Updated 6 years ago
- Library to make Django applications play nice in WSGI environments☆22Mar 24, 2020Updated 5 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
- Finds, and optionally removes, duplicate files.☆54Dec 7, 2025Updated 3 months ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- DEPRECATED installer for Mbed CLI on OS X☆13Sep 14, 2023Updated 2 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆17Feb 17, 2026Updated last month
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- ☆13May 16, 2025Updated 10 months ago
- Hardware aware neural architecture search☆12Sep 29, 2025Updated 5 months ago
- U2F-Emulated☆26Sep 28, 2023Updated 2 years ago
- ☆14Dec 2, 2015Updated 10 years ago
- (migrated to https://codeberg.org/shiz/img4) various low-level Apple data structure tools☆16Jan 18, 2021Updated 5 years ago
- Links to relevant ARM documentation for Nintendo homebrew development☆12Sep 5, 2023Updated 2 years ago
- Utility for looking up Unicode characters and HTML entities by code, name, block, or description. Written in Perl, compatible with almos…☆18Oct 22, 2023Updated 2 years ago
- Web application to record speech for an open data set☆13Apr 6, 2021Updated 4 years ago
- A Java library for pretty printing that supports custom objects, recursive printing and collections.☆11Nov 4, 2018Updated 7 years ago
- Sail RISC-V model☆12Jun 23, 2025Updated 8 months ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Creation & manipulation of PyPI tokens☆15Mar 14, 2026Updated last week
- Spectrum Analyzer using Goertzel Algorithm in Arduino (2016)☆15Apr 7, 2017Updated 8 years ago
- ☆12Dec 6, 2020Updated 5 years ago