Papers We ❤️ Zurich
☆51Jan 15, 2026Updated 3 months ago
Alternatives and similar repositories for zurich
Users that are interested in zurich are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- Rust bindings to Intel's DPDK.☆13Oct 1, 2018Updated 7 years ago
- The Materialize SQL parser☆30Dec 21, 2019Updated 6 years ago
- A config-based loader for @stuartsierra's `component` library☆13Jul 8, 2017Updated 8 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆17Apr 7, 2026Updated 3 weeks 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.
- Simple malloc implementation.☆34Feb 19, 2025Updated last year
- ☆12Nov 17, 2020Updated 5 years ago
- A Clojure library that builds an executable containing a embedded jar inside☆23Apr 9, 2025Updated last year
- I/O and binary data encoding for Rust☆40Aug 17, 2015Updated 10 years ago
- Perl 6 client for Apache Kafka☆13Mar 27, 2025Updated last year
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Todo list management in bash☆16Jan 9, 2013Updated 13 years ago
- ☆31Dec 9, 2015Updated 10 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.
- Declarative command-line parsing for OCaml☆17Updated this week
- ☆13Dec 30, 2016Updated 9 years ago
- Minimal light Logseq theme with bold typography and cyrillic font support.☆11Nov 19, 2023Updated 2 years ago
- Implementation of popular consensus protocols☆22Oct 8, 2020Updated 5 years ago
- ShEx specification☆17Mar 29, 2026Updated last month
- IRC bot for announcing commits pushed to a git repository☆21Jan 4, 2016Updated 10 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- Playing with (real?) audio beacon and xtracking devices☆12Nov 4, 2018Updated 7 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.
- Clojure library for Blueprints (part of the Tinkerpop graph stack).☆38Sep 6, 2022Updated 3 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- Cargo subcommand to manage a registry index.☆29Oct 23, 2023Updated 2 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated last year
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- The 7GUIs implemented in ReScript☆14Feb 4, 2024Updated 2 years ago
- A simple load balancer for Erlang processes☆19Oct 2, 2014Updated 11 years ago
- Scripts to move a Logseq graph to Emacs+Org-Roam☆12Apr 20, 2024Updated 2 years ago
- An experimental App Container Executor in C++☆26Oct 14, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A presentation about Docker, systemd, and containerization, given at the Recurse Center☆80Apr 26, 2015Updated 11 years ago
- Formalization of DBSP☆34Aug 22, 2023Updated 2 years ago
- GCounter CRDT Implemented in Go & Docker☆15Sep 5, 2020Updated 5 years ago
- Debug clojure from the browser☆77Apr 30, 2015Updated 10 years ago
- Convert toml files to nix☆19Jul 15, 2025Updated 9 months ago
- A web app for HN hustlers☆28Jan 30, 2019Updated 7 years ago
- ☆65Oct 19, 2021Updated 4 years ago