Minimal static site compiler — suckless, Rust, zero JS.
☆70Jun 3, 2026Updated last week
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:
- Find the microarchitectural performance bugs hiding in your C++ code☆56Mar 22, 2026Updated 2 months ago
- Software That Fits You☆74Jun 5, 2026Updated last week
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆36Feb 22, 2026Updated 3 months ago
- A experimental, very non-conformant, pure rust bluetooth stack☆26Sep 22, 2025Updated 8 months ago
- ☆15Apr 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆16Jan 23, 2026Updated 4 months ago
- Verifying the SCION architecture using Gobra☆12Jun 9, 2026Updated last week
- Linux daemon to bind touchpad gestures to shell commands.☆11Jun 25, 2024Updated last year
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated 2 months ago
- A simple example Wayland compositor using Clutter☆15Jul 18, 2013Updated 12 years ago
- ☆12Sep 21, 2024Updated last year
- Handwritten text input for your PineNote☆15Dec 28, 2024Updated last year
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 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.
- Lightweight annotation system in Emacs☆33May 31, 2026Updated 2 weeks ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- OUTDATED and INCOMPATIBLE with rockchip_ebc custom driver☆10Mar 19, 2025Updated last year
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆38May 18, 2026Updated 3 weeks ago
- Verifier for effectful, higher-order programs☆19Mar 10, 2026Updated 3 months ago
- Rust Book to EPUB converter☆16Jun 20, 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tracebacks for Humans (in Jupyter notebooks)☆12Dec 30, 2025Updated 5 months ago
- A language server for the Teal language☆13Mar 12, 2025Updated last year
- (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 11 months ago
- ☆19Jun 8, 2026Updated last week
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- my startpage :)☆11Feb 14, 2020Updated 6 years ago
- ☆17Nov 19, 2023Updated 2 years ago
- It will help speed up the development of a website and docs for your product☆15May 11, 2026Updated last month
- An assembler that compiles down to just 8 instructions🧠☆15Feb 18, 2026Updated 3 months 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.
- 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
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Build terminal-themed wayland layer shell applications with Rust.☆41Mar 14, 2026Updated 3 months ago
- The Pulse separation logic DSL for F*☆36May 28, 2026Updated 2 weeks ago
- ☆20Jan 9, 2024Updated 2 years ago
- 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 6 months ago