A sub-second static blogging framework
☆32Sep 8, 2025Updated 10 months ago
Alternatives and similar repositories for gazetta
Users that are interested in gazetta 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 fluid part for your engine☆17Aug 4, 2015Updated 10 years ago
- Helper library to write VLC modules in Rust☆14Mar 24, 2021Updated 5 years ago
- A helm chart for running bitwarden on kubernetes☆22Feb 17, 2022Updated 4 years ago
- carp-rs allows a couple of hosts to share common virtual IP addresses in order to provide automatic failover. It is a portable userland i…☆27May 10, 2016Updated 10 years ago
- Library and command-line tool for inferring dependencies between static libraries.☆24May 23, 2017Updated 9 years ago
- 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.
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- 📝 A template engine.☆16Jun 15, 2021Updated 5 years ago
- Rust serialization library for OpenAPIv3☆13Jan 21, 2020Updated 6 years ago
- Prustle - Python-like Standard Library for Rust☆19Apr 6, 2017Updated 9 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Never forget your in-code Todos☆14Dec 21, 2018Updated 7 years ago
- Create Synchronicity is an easy, fast and powerful backup application. It synchronizes files & folders, has a neat interface, and can sch…☆12Jun 5, 2011Updated 15 years ago
- (More or less) accurate floating point algorithms☆56Jul 20, 2024Updated 2 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An easy way to give all your EC2 instances SSH host certificates☆16Feb 25, 2023Updated 3 years ago
- Vec-backed ID-tree☆83Jul 16, 2026Updated last week
- BitSparrow in Rust☆12Feb 24, 2017Updated 9 years ago
- Minimum Viable (Psuedo) Database☆10Aug 5, 2017Updated 8 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 5 years ago
- C++-to-webassembly testbed, in the form of a simple graphics library☆14Apr 23, 2019Updated 7 years ago
- An implementation of the "rose tree" data structure for Rust.☆25Aug 3, 2021Updated 4 years ago
- A Delicious Build Tool.☆65Sep 13, 2016Updated 9 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.
- A minimal jwt implementation for OIDC☆16May 21, 2026Updated 2 months ago
- Rate limiting for Servant and as WAI middleware☆17Updated this week
- Iterate in a lazily achieved sorted order☆59Oct 16, 2018Updated 7 years ago
- Proposal to investigate additional language features for ECMAScript Regular Expressions☆21Aug 28, 2021Updated 4 years ago
- Algoritms implementations in Rust☆14Sep 23, 2016Updated 9 years ago
- A repository for additional wtftw modules☆22Apr 29, 2021Updated 5 years ago
- ☆19Mar 24, 2018Updated 8 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 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.
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 8 years ago
- composable validation functions for custom types☆14Jun 11, 2025Updated last year
- 3D Printed and PCB Backed F-18 UFC Panel☆12Jul 30, 2019Updated 6 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- A Rust crate containing a set of types for building complex binary streams.☆11Feb 20, 2022Updated 4 years ago