☆19Jan 29, 2015Updated 11 years ago
Alternatives and similar repositories for cjdrs
Users that are interested in cjdrs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Specifications of the Futuristic Connectivity protocol☆28Oct 6, 2016Updated 10 years ago
- SQL administration GUI☆17Dec 13, 2017Updated 8 years ago
- This is why nobody ever encrypts anything☆30May 23, 2017Updated 9 years ago
- Virtual ISP / IP tunnel daemon for cjdns.☆20Feb 16, 2020Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 7 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.
- TypeScript definitions for Sketch JavaScript API☆13Jan 18, 2021Updated 5 years ago
- Distributed graph processing in Elixir (Work on hold)☆22Feb 12, 2019Updated 7 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- ☆38Jan 16, 2015Updated 11 years ago
- gen_tcp acceptor pool☆29Dec 15, 2025Updated 10 months ago
- Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust☆12Apr 6, 2018Updated 8 years ago
- Build forms from an ods spreadsheet in a Seafile☆12May 8, 2018Updated 8 years ago
- async ACME client for tls-alpn-01 challenge☆13Mar 1, 2025Updated last year
- a bittorrent client for servers☆16Jun 28, 2017Updated 9 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.
- ☆17Jul 17, 2023Updated 3 years ago
- A (hopefully) unbiased timeline of events related to accusations against Jacob Appelbaum☆19Mar 18, 2017Updated 9 years ago
- café, a systems language☆19Feb 25, 2018Updated 8 years ago
- Implementation of the Hash Array Mapped Trie data structure in OCaml☆13Jan 9, 2022Updated 4 years ago
- A Haskell library for building incremental static site generators☆13Nov 30, 2023Updated 2 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- [WIP] A browser lite client for the Scuttlebutt network☆19Jan 11, 2019Updated 7 years ago
- The Hyperboria website☆25Jun 9, 2016Updated 10 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 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 collection of scripts to load a custom kernel on Scaleway servers☆14Nov 4, 2017Updated 8 years ago
- berlin automatic mail encryption meetup 2016☆13Dec 16, 2016Updated 9 years ago
- A small ramdisk system running modern Debian to support mesh networking on ARM single-board computers☆39Feb 8, 2019Updated 7 years ago
- Microdata semantic markups support for Pelican Blog Generator☆17Feb 2, 2017Updated 9 years ago
- A cjdns package for Ubiquiti EdgeOS and VyOS, allowing cjdns to be used on EdgeRouters☆43May 3, 2019Updated 7 years ago
- This is a node.js library for text diffing and three-way-merge. It originally come from project Synchrotron, created by Tony Garnock-Jone…☆13Apr 12, 2016Updated 10 years ago
- Turns web articles into ssb-markdown☆18Feb 2, 2016Updated 10 years ago
- Agda formalisation of NbE for λ□☆18Dec 5, 2017Updated 8 years ago
- ☆23Jul 1, 2024Updated 2 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.
- Big Download - Node express middleware for zipbombing vuln scanners☆16Jul 16, 2017Updated 9 years ago
- secure-channel that protects all communication between two peers☆25Jun 2, 2015Updated 11 years ago
- Active Record backup is a Rails plugin which lets you backup your database schema and content in a schema.rb file and fixtures.☆13Mar 26, 2008Updated 18 years ago
- Task list viewer based on TODO comments for Atom Editor☆10Apr 6, 2015Updated 11 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- ☆11Jun 5, 2023Updated 3 years ago
- Agda formalization of Intuitionistic Propositional Logic☆23Oct 22, 2026Updated last week