A bootstrap theme for zola
☆21Feb 20, 2022Updated 4 years ago
Alternatives and similar repositories for zolastrap
Users that are interested in zolastrap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The JS codebase for the MyMonero web wallet app☆22Feb 13, 2026Updated 3 months ago
- Tor command line tools for Mac☆12Jan 20, 2016Updated 10 years ago
- A basic CRUD application built in flask using postgres as database☆12Aug 11, 2021Updated 4 years ago
- A Python simple Dice Simulator just for fun☆17Jun 17, 2021Updated 4 years ago
- fonstr☆16May 14, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Website to generate the YouTube RSS feed url.☆14Jan 25, 2026Updated 3 months ago
- ☆12Jan 11, 2023Updated 3 years ago
- A GNOME Shell extension displaying the current sound percentage in the system tray.☆16Mar 25, 2024Updated 2 years ago
- Patch suckless builds to work on OpenBSD☆11Feb 20, 2023Updated 3 years ago
- Get beautiful images of your code in your favorite group of developers on Whatsapp.☆12Apr 15, 2021Updated 5 years ago
- A WSGI-compatible Python web framework for making websites easily.☆11Oct 25, 2022Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- List of Nostr relays (paid with XMR / free)☆15Jul 2, 2025Updated 10 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool to analyse the import structure of lean projects.☆20May 8, 2026Updated 2 weeks ago
- Server-side email notification manager using several push providers for real-time alerts. Conserve mobile battery without compromising on…☆25Mar 1, 2025Updated last year
- The NOMAD Project☆14Sep 7, 2023Updated 2 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆42Aug 25, 2025Updated 8 months ago
- ☆19Mar 4, 2020Updated 6 years ago
- Lean 4 as a scripting language in Houdini☆24Mar 13, 2024Updated 2 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆24Jan 15, 2025Updated last year
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- An extension for Chromium and Firefox browsers that extends magnet links on websites to enable the quick adding of torrents to Transmissi…☆13Aug 5, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- T1 Documentation☆11May 14, 2019Updated 7 years ago
- Wisdom of the crowd web framework rank☆29Oct 6, 2024Updated last year
- ☆12Jun 2, 2019Updated 6 years ago
- Feed Reader☆11Jun 17, 2018Updated 7 years ago
- Fulfills a GitHub workflow_job webhooks into a Pub/Sub queue.☆12Mar 13, 2025Updated last year
- LyricsX command line interface for Linux.☆11Apr 21, 2024Updated 2 years ago
- ☆10Jan 19, 2023Updated 3 years ago
- ☆13Jul 17, 2021Updated 4 years ago
- sign tieba in command line☆11Dec 6, 2022Updated 3 years 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.
- Firefox extension to set the character encoding of download filenames.☆12Jul 13, 2020Updated 5 years ago
- fcitx chewing wrapper☆10Nov 20, 2022Updated 3 years ago
- ☆10May 6, 2018Updated 8 years ago
- A handly context sensitive WebExtension for archiving pages, links and image urls☆12Oct 3, 2019Updated 6 years ago
- Android app for finding directions using the position of the sun in the sky.☆10Jan 28, 2016Updated 10 years ago
- ☆36Jan 23, 2024Updated 2 years ago
- IPFilter for eMule and other eDonkey/BitTorrent/P2P clients ⌛🐴☆12Feb 9, 2021Updated 5 years ago