ZeroScript
☆19Sep 28, 2015Updated 10 years ago
Alternatives and similar repositories for zs
Users that are interested in zs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ZeroScript☆83Sep 23, 2015Updated 10 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- extension for rendering velocity templates for stubbed responses.☆11Nov 11, 2019Updated 6 years ago
- webring for robots☆13Mar 4, 2026Updated 3 weeks ago
- A small fantasy computer and ISA☆12Dec 1, 2025Updated 3 months 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.
- Share files quickly from your remote storage☆23Sep 21, 2022Updated 3 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 10 years ago
- Push notification to Boxcar for iPhone/iPad/Mac☆14Jun 20, 2014Updated 11 years ago
- ☆28Apr 29, 2016Updated 9 years ago
- A one cookbook driven OpenStack Deployment☆10Jan 18, 2019Updated 7 years ago
- An itree-like data-structure to additionally support internal non-determinism☆21Nov 25, 2025Updated 4 months ago
- ☆10Sep 25, 2020Updated 5 years ago
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated last year
- A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation☆65Jul 31, 2011Updated 14 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆11Jun 26, 2024Updated last year
- FileMQ is a publish-subscribe file service based on 0MQ☆31Jan 21, 2016Updated 10 years ago
- coinduction library for Coq☆24Nov 14, 2025Updated 4 months ago
- Python logging integration with Google Cloud Stackdriver API.☆13Oct 1, 2020Updated 5 years ago
- Generate statistics about network use (number of users, growth, retention, etc)☆12Jan 11, 2019Updated 7 years ago
- A Bitcoin Protocol Parser in Elixir/OTP☆53Apr 7, 2017Updated 8 years ago
- Mini C Compiler☆24Nov 24, 2020Updated 5 years ago
- A collection of useful, free, single-file libraries for C.☆11Oct 15, 2015Updated 10 years ago
- crdts on ipfs☆11Dec 2, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- hdb... hyperboria database? hype-debugger? housing and development board?☆19Oct 8, 2015Updated 10 years ago
- Erlang External Term Format (ETF) for Ruby☆30Mar 22, 2018Updated 8 years ago
- Run code from many programming languages in Discord!☆18Jun 16, 2024Updated last year
- Fetch and inject link previews in emacs☆16Dec 29, 2023Updated 2 years ago
- A tweak of htr's imapfeeder to match my rss2imap feature set☆10Jan 16, 2015Updated 11 years ago
- The Closey programming language☆13Jul 20, 2021Updated 4 years ago
- Handle UNIX signals in Erlang☆51Nov 8, 2013Updated 12 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- WeeChat script to update environment variables from tmux☆14Jan 3, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Run your tty programs pseudo-headlessly under a process supervisor☆14Apr 29, 2018Updated 7 years ago
- Algorithms for producing avatar images which uniquely (and memorably) represent pubkeys☆11Nov 4, 2015Updated 10 years ago
- ☆26Aug 15, 2025Updated 7 months ago
- Clustering library for Elixir☆12Jul 9, 2017Updated 8 years ago
- UNIX Client-Server Program Interface☆33Sep 20, 2023Updated 2 years ago
- The todo application, as shown in Episode 16☆14Jan 6, 2016Updated 10 years ago