-
domains Public
Forked from robdockins/domainsA formal development of constructive domain theory in Coq
Coq BSD 3-Clause "New" or "Revised" License UpdatedJun 1, 2021 -
dphs Public
Implementations of Embedded Domain Specific Language for Differential Privacy
Haskell MIT License UpdatedApr 27, 2021 -
-
compdata-param Public
Forked from pa-ba/compdata-paramHaskell library implementing parametric compositional data types.
Haskell Other UpdatedOct 12, 2020 -
compdata Public
Forked from pa-ba/compdataHaskell library implementing "Data Types a la Carte"
Haskell Other UpdatedOct 12, 2020 -
bind-rs Public
A crate for experimenting with MTL-style monads in rust
-
DLNotes Public
Notes on mutual information visualization experiments
Python MIT License UpdatedOct 6, 2020 -
WikiTextClassifier Public
PyTorch models on classifying Wikipedia abstracts into Wikipedia categories
-
cps-fuzz Public
An experimental compiler that takes Fuzz to Distributed MPC
Python Other UpdatedOct 1, 2020 -
fuzzi-model Public
A functional model of symbolic testing for differential privacy
-
edsl-plclub-talk Public
Symbolic Execution on Embedded DSL with natural Haskell syntax
Haskell MIT License UpdatedJun 28, 2020 -
actix-net Public
Forked from actix/actix-netframework for composable networking services
Rust Apache License 2.0 UpdatedJun 15, 2020 -
s3-sync-action Public
Forked from jakejarvis/s3-sync-action🔄 GitHub Action to sync a directory with a remote S3 bucket 🧺
Shell MIT License UpdatedJun 6, 2020 -
rust-decimal Public
Forked from paupino/rust-decimalA Decimal Implementation written in pure Rust suitable for financial calculations.
Rust MIT License UpdatedApr 10, 2020 -
haskell-ci Public
Forked from lastland/haskell-ciWriting CI configurations with Haskell (a better name is needed)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 17, 2020 -
postgres-operator Public
Forked from zalando/postgres-operatorPostgres operator creates and manages PostgreSQL clusters running in Kubernetes
Go MIT License UpdatedFeb 27, 2020 -
NumPy-like API accelerated with CUDA
Python MIT License UpdatedJan 17, 2020 -
census2020-das-e2e Public
Forked from uscensusbureau/census2020-das-e2eDisclosure Avoidance System for the 2020 Census, End-to-End release
Python Other UpdatedJan 16, 2020 -
-
rust-headless-chrome Public
Forked from rust-headless-chrome/rust-headless-chromeRust UpdatedNov 26, 2019 -
haskell-z3 Public
Forked from IagoAbal/haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell Other UpdatedSep 6, 2019 -
rust-eventsource-client Public
Forked from launchdarkly/rust-eventsource-clientClient library for the Server-Sent Events protocol (aka EventSource).
Rust Other UpdatedSep 6, 2019 -
-
-
Rust bindings for the Python interpreter
Rust Other UpdatedJul 24, 2019 -
simple-smt Public
Forked from yav/simple-smtHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 11, 2019 -
-
fuzzi-impl Public
Proof-of-Concept Implementation of Fuzzi: A Three-Level Logic for Differential Privacy
-
hs-to-coq Public
Forked from antalsz/hs-to-coqConvert Haskell source code to Coq source code
Coq MIT License UpdatedMay 16, 2019 -
shadowdp Public
Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".
{{ message }}