RADclock - A feed-forward NTP clock.
☆18Dec 7, 2012Updated 13 years ago
Alternatives and similar repositories for radclock
Users that are interested in radclock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Index your filesystem to find duplicates☆13Mar 28, 2019Updated 7 years ago
- Error message generator for state/token pairs.☆15Mar 7, 2014Updated 12 years ago
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- ☆16Apr 22, 2020Updated 6 years ago
- XCP GUI with bottlepy and Bootstrap☆16Mar 25, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- p3☆18Jun 10, 2016Updated 10 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- The bitcoin script interpreter (cpp) compiled to webassembly.☆12Aug 26, 2022Updated 4 years ago
- thin JSON::Any wrapper to emulate jq for crystal☆17Dec 15, 2022Updated 3 years ago
- Like the Adventure in Prolog☆13May 20, 2012Updated 14 years ago
- A PouchDB wrapper for ClojureScript☆14Feb 4, 2018Updated 8 years ago
- A Ruby implementation of a merkle hash tree☆15Jan 20, 2023Updated 3 years ago
- Example Drupal 8 module showcasing the Entity Storage API☆11Sep 22, 2015Updated 11 years ago
- A Clojure implementation of Mustache☆13Jan 18, 2018Updated 8 years ago
- 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 example datapack for CC: Tweaked☆17Jun 15, 2023Updated 3 years ago
- Spacemacs contribution layer for Crystal☆12Oct 11, 2016Updated 10 years ago
- Connecting the browser's LocalStorage with CouchDB.☆13Apr 18, 2011Updated 15 years ago
- CAF based 3.4.x kernel for SEMC msm7x30 devices☆15Nov 3, 2018Updated 7 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- the client of the future☆14Dec 21, 2010Updated 15 years ago
- OCaml "reentrant runtime" experimental branch☆26Sep 30, 2013Updated 13 years ago
- A webfinger client for node.js☆15Mar 28, 2010Updated 16 years ago
- ☆15Jun 7, 2017Updated 9 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.
- CouchDB Package Manager - a tool for the management of CouchApps and associated libraries☆16Feb 8, 2011Updated 15 years ago
- ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml☆10Apr 3, 2022Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Sep 14, 2026Updated last month
- SSHades is the first SSH client for Google Glass. Forked from ConnectBot☆17Apr 21, 2014Updated 12 years ago
- easy crypto for javascript☆16Feb 5, 2011Updated 15 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- Edify Checking Utility☆14Jun 12, 2016Updated 10 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Migrated to https://git.sceptique.eu/Sceptique/Crirc☆21Jan 25, 2021Updated 5 years ago
- A python implementation of the lojban gismu creation algorithm☆14Dec 1, 2014Updated 11 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated 2 years ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Raft consensus algorithm implementation☆33May 2, 2020Updated 6 years ago
- An OCaml controller for the Adafruit Rapsberry Pi LCD☆12Jan 6, 2014Updated 12 years ago
- Serialization library for OpenFlow☆13Jul 16, 2015Updated 11 years ago