Minimal static site compiler — suckless, Rust, zero JS.
☆69Mar 29, 2026Updated last month
Alternatives and similar repositories for sukr
Users that are interested in sukr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Software That Fits You☆69Apr 26, 2026Updated last week
- A experimental, very non-conformant, pure rust bluetooth stack☆26Sep 22, 2025Updated 7 months ago
- Verifying the SCION architecture using Gobra☆12Apr 27, 2026Updated last week
- Linux daemon to bind touchpad gestures to shell commands.☆11Jun 25, 2024Updated last year
- A advanced test harness for rust☆17Apr 29, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated last month
- A simple example Wayland compositor using Clutter☆15Jul 18, 2013Updated 12 years ago
- axum::ws with type safe messages☆25May 12, 2024Updated last year
- a framework for reloadable dynamic libraries (plugins) in Rust☆35Apr 6, 2026Updated last month
- ☆11Sep 21, 2024Updated last year
- Handwritten text input for your PineNote☆15Dec 28, 2024Updated last year
- Lightweight annotation system in Emacs☆31Apr 22, 2026Updated 2 weeks ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆37Updated this week
- Template for Scala Spark with Unit Test☆13Jul 24, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust Book to EPUB converter☆15Jun 20, 2024Updated last year
- learn python by build projects☆14Oct 19, 2024Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- Tracebacks for Humans (in Jupyter notebooks)☆12Dec 30, 2025Updated 4 months ago
- (Moved to https://git.haschu.me/haschu/foobar) A bar, launcher, control center, and notification daemon I wrote for my personal desktop.☆13Jun 22, 2025Updated 10 months ago
- ☆19Apr 15, 2026Updated 3 weeks ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Emacs Lisp implementation of the Internet Printing Protocol☆10Nov 24, 2025Updated 5 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.
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- ☆17Jan 31, 2026Updated 3 months ago
- An assembler that compiles down to just 8 instructions🧠☆15Feb 18, 2026Updated 2 months ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- The Pulse separation logic DSL for F*☆35Apr 4, 2026Updated last month
- Tool to select a region on the screen and print it to stdout☆12Dec 22, 2022Updated 3 years ago
- Classical Logic in Haskell☆23Nov 19, 2025Updated 5 months ago
- A very simple basic game of snake created in rust. Supports wall collisions, self collisions, and food with snake growth. Scores are reco…☆12Apr 23, 2026Updated last week
- A performant static site generator built to scale.☆12Apr 16, 2026Updated 3 weeks 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.
- Hacker is a Zola theme☆13Apr 20, 2026Updated 2 weeks ago
- https://chromewebstore.google.com/detail/blauherzfilter/ekhanknjgoennfolmgpmhfhkfehcgldp☆14Jul 31, 2024Updated last year
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 3 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 3 months ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 10 months ago
- simple EPUB to TXT converter.☆11Jan 26, 2024Updated 2 years ago
- Cut and concatenate video clips without reencoding☆12Sep 16, 2025Updated 7 months ago