A bootstrap theme for zola
☆22Feb 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:
- An elegant but still playful theme for Zola.☆24Mar 31, 2023Updated 3 years ago
- The JS codebase for the MyMonero web wallet app☆22Feb 13, 2026Updated 5 months ago
- Tor command line tools for Mac☆12Jan 20, 2016Updated 10 years ago
- Website to generate the YouTube RSS feed url.☆14Jan 25, 2026Updated 6 months ago
- A Python simple Dice Simulator just for fun☆17Jun 17, 2021Updated 5 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.
- ☆12Jan 11, 2023Updated 3 years ago
- ObKey - Openbox Key Editor (PyGObject version)☆11Nov 10, 2018Updated 7 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Get beautiful images of your code in your favorite group of developers on Whatsapp.☆12Apr 15, 2021Updated 5 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
- Rust client library for @tailscale.☆11Oct 5, 2022Updated 3 years ago
- The NOMAD Project☆14Sep 7, 2023Updated 2 years ago
- A nixos module to configure helm charts to be installed into k3s☆13May 24, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HoTT Book formalisations in Rzk.☆23Jun 15, 2026Updated last month
- Automatically fix Nix/NixOS error `SQLite statement 'delete from ValidPaths where path = *;': constraint failed`☆14Mar 17, 2025Updated last year
- Basic Unicode support for Lean 4☆16Updated this week
- ☆19Mar 4, 2020Updated 6 years ago
- Collection of ISE Menu Add-Ons that I have written☆14Jul 20, 2016Updated 10 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 3 months ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- A formalization of the Banach-Tarski theorem in Lean☆16Jan 4, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An extension for Chromium and Firefox browsers that extends magnet links on websites to enable the quick adding of torrents to Transmissi…☆13Jul 4, 2026Updated last month
- terraform meets nix☆21Jul 25, 2026Updated 2 weeks ago
- ☆16Jun 20, 2022Updated 4 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 3 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- ☆35Jun 17, 2024Updated 2 years ago
- Nix flake for the Valheim dedicated server☆14Feb 2, 2025Updated last year
- ☆23Jan 14, 2026Updated 6 months ago
- Wisdom of the crowd web framework rank☆28Oct 6, 2024Updated last year
- 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.
- Moved to https://git.lix.systems/lix-project/flaker☆18Dec 9, 2025Updated 8 months ago
- LyricsX command line interface for Linux.☆11Apr 21, 2024Updated 2 years ago
- Tool to analyse the import structure of lean projects.☆24Updated this week
- Show activities overview when there are no windows on GNOME.☆38Aug 10, 2025Updated last year
- ☆12Jun 2, 2019Updated 7 years ago
- ☆19Apr 5, 2025Updated last year
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆16Feb 28, 2025Updated last year