Linear Dependent Types for Differential Privacy TypeChecker
☆33Jan 25, 2020Updated 6 years ago
Alternatives and similar repositories for dfuzz
Users that are interested in dfuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agda formalisations of some big-step normalization proofs☆14May 8, 2016Updated 10 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆75May 10, 2019Updated 7 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 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.
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- Duet: A Language for Differential Privacy☆17Jul 5, 2022Updated 4 years ago
- ☆24Jan 8, 2021Updated 5 years ago
- ☆19Updated this week
- Some basic libraries for Coq.☆14Sep 9, 2025Updated last year
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated 2 years ago
- ☆15Mar 20, 2020Updated 6 years ago
- A simple scalable, real-time web chat application in Opa☆14Dec 12, 2012Updated 13 years ago
- Denotational semantics based on graph and filter models☆25Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Wikiwyg is a WYSIWYG browser editor framework for wikis. It is designed to be pluggable on top of existing wiki engines, with little or n…☆18Aug 3, 2012Updated 14 years ago
- Class instances for Coq inductive types with little boilerplate☆27Oct 5, 2026Updated last month
- ☆39Updated this week
- Jasmine reporter that reports a result in TAP format☆10Apr 21, 2012Updated 14 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- NodeJS Backbone mode to enable Redis as data persistence layer☆11Oct 21, 2013Updated 13 years ago
- Pure & Incomplete STUN protocol in OCaml☆15Dec 8, 2022Updated 3 years ago
- ☆26Jul 18, 2022Updated 4 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Command-line utility to grep UnicodeData.txt☆10Jul 6, 2011Updated 15 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Jul 24, 2019Updated 7 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- TinyBasic implementation in Racket (WIP)☆14Apr 25, 2025Updated last year
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- Async/Await support for jQuery 1.5+☆14Jun 16, 2012Updated 14 years ago
- [Perl] Modules and scripts for Traditional and Simplified Chinese mappings☆12Jan 17, 2024Updated 2 years ago
- Powerful i18n/l10n management utility.☆14Dec 11, 2011Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Mar 12, 2022Updated 4 years ago
- Finite sets and maps for Coq with extensional equality☆31Oct 12, 2026Updated 3 weeks ago
- This JavaScript enables the tap-to-play function on those platforms that do not properly support the EPUB 3 Media Overlay specification (…☆13Dec 9, 2015Updated 10 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 13 years ago
- pairwise asymmetric inference☆10Dec 21, 2022Updated 3 years ago
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years ago
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago