An extensible compiler for cryptography.
☆25Sep 11, 2025Updated 7 months ago
Alternatives and similar repositories for viaduct
Users that are interested in viaduct are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Streaming outlier analysis☆14Oct 16, 2016Updated 9 years ago
- A Hardware Pipeline Description Language☆60Jul 12, 2025Updated 9 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆62Jan 11, 2026Updated 3 months ago
- Rust powered background process CLI task manager☆14May 2, 2022Updated 3 years ago
- Tensor-based Spectral LDA on Spark☆18Jun 5, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 10 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Jul 26, 2024Updated last year
- Mosaic Target Pixel Files (TPFs) obtained by NASA's Kepler/K2 missions into CCD-sized images and movies.☆10Oct 10, 2020Updated 5 years ago
- Dust Streams in Space☆15Mar 5, 2016Updated 10 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Featured on https://www.forbes.com/sites/jasonevangelho/2018/11/27/choosing-linux-2-awesome-tools-to-find-your-perfect-linux-os/☆15Dec 8, 2024Updated last year
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- ICML2017 MEC: Memory-efficient Convolution for Deep Neural Network C++实现(非官方)☆17Apr 9, 2019Updated 7 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.
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- ☆13Nov 21, 2024Updated last year
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- The hello-world of MPC.☆14Jun 16, 2025Updated 10 months ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- ☆56Apr 2, 2026Updated 2 weeks ago
- ☆43Updated this week
- uCOS-II for arduino boards based on ARM-Cortex-m3☆13Mar 4, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jan 18, 2012Updated 14 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆14Nov 18, 2022Updated 3 years ago
- Common MPC Pitfalls☆12Updated this week
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆32Aug 13, 2019Updated 6 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Apr 1, 2026Updated 2 weeks ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Toy Implementation in Python of [FV12]☆23Aug 16, 2023Updated 2 years ago
- A caching framework for microservice applications☆24Apr 22, 2024Updated last year
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago
- Delimited Generators - Minimal Delimited Control for JS☆13May 13, 2024Updated last year
- ☆16Feb 5, 2014Updated 12 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago