☆31Jul 10, 2026Updated last month
Alternatives and similar repositories for chorus
Users that are interested in chorus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Duet: A Language for Differential Privacy☆17Jul 5, 2022Updated 4 years ago
- Readings in Differential Privacy☆18Jan 2, 2024Updated 2 years ago
- UCLANesl - NIST Differential Privacy Challenge (Match 3)☆26May 30, 2019Updated 7 years ago
- This repository contains all public data, python scripts, and documentation relating to NIST Public Safety Communications Research Divisi…☆12Nov 22, 2022Updated 3 years ago
- Code for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010☆63Jun 16, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- ☆13Oct 11, 2018Updated 7 years ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 4 years ago
- Implementation of java.time for Scala.js and Scala Native☆16Updated this week
- Treasure Data Driver for Python☆20Apr 14, 2026Updated 4 months ago
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- ☆14Mar 9, 2026Updated 5 months ago
- Differential Privacy Testing System☆22Apr 24, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An arbitrary-precision differentiable programming language.☆35Jul 7, 2023Updated 3 years ago
- A Monad for simulating quantum processes.☆24Oct 14, 2014Updated 11 years ago
- Essential utilities, refined for Scala 3 with minimal dependencies☆16Updated this week
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Effective caching in differentially-private databases (SOSP '23)☆13Nov 1, 2023Updated 2 years ago
- gitbucket-plugins community site☆13Dec 27, 2025Updated 7 months ago
- csv and tsv file rendering plugin for GitBucket☆11May 29, 2021Updated 5 years ago
- ☆14May 22, 2019Updated 7 years ago
- ☆15Updated this week
- 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.
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- A tool to analyze your Pocket reading list.☆14Dec 8, 2022Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Generic mapper for ScalikeJDBC☆25Jun 3, 2017Updated 9 years ago
- ☆13Jan 31, 2024Updated 2 years ago
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆27Jan 23, 2026Updated 6 months ago
- ☆19Jan 31, 2018Updated 8 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- The code of APP, Scalable Graph Embedding for Asymmetric Proximity. Zhou, Chang and Liu, Yuqiong and Liu, Xiaofei and Liu, Zhongyi and Ga…☆11Nov 11, 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.
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- ☆10Nov 17, 2014Updated 11 years ago
- Simple example of motoko outcalls☆10Aug 21, 2024Updated last year
- VDAF specification☆26Aug 4, 2026Updated last week
- ☆10Sep 10, 2021Updated 4 years ago
- A dynamic library for macOS QQ of bloking message revoking☆11Apr 4, 2017Updated 9 years ago
- Rhyme is an Expressive Data-Centric Query Language☆31Jul 14, 2026Updated 3 weeks ago