leisec/dtrt external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

leisec/dtrt

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/leisec/dtrt)

Close

leisec / dtrtView on GitHubMore

• External links
• Readme badge

LaTeX package to Do The Right Thing

☆13Sep 8, 2021Updated 4 years ago

Alternatives and similar repositories for dtrt

Users that are interested in dtrt are comparing it to the libraries listed below

• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• lattirust / lattirust

  View on GitHub
  ☆68May 13, 2025Updated 10 months ago
• daira / describe-curve

  View on GitHub
  Describe elliptic curves
  ☆35May 10, 2021Updated 4 years ago
• yuzeng2333 / Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023

  View on GitHub
  Help people understand the ZKP mooc course of Berkeley
  ☆14Feb 10, 2023Updated 3 years ago
• louridas / stv

  View on GitHub
  An implementation of Simple Transferable Vote
  ☆12Jul 14, 2024Updated last year
• aseemr / Indocrypt-VerifiedCrypto-Tutorials

  View on GitHub
  ☆14Dec 14, 2020Updated 5 years ago
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated last month
• secure-foundations / provably-safe-sandboxing-wasm-usenix22

  View on GitHub
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆39Aug 30, 2022Updated 3 years ago
• bcc-research / CryptoUtilities.jl

  View on GitHub
  ☆16Mar 13, 2026Updated last week
• Responsible-Dataset-Sharing / easy-dataset-share

  View on GitHub
  A CLI tool that helps AI researchers share datasets responsibly.
  ☆21Sep 15, 2025Updated 6 months ago
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆41Feb 17, 2025Updated last year
• wanaya / SCheckbox

  View on GitHub
  Checkbox control in swift
  ☆13Dec 16, 2015Updated 10 years ago
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 4 months ago
• SpinResearch / lamport_sigs.rs

  View on GitHub
  A Rust implementation of the Lamport one-time signature scheme
  ☆15Nov 30, 2022Updated 3 years ago
• meagtan / harmonizer

  View on GitHub
  Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks
  ☆15Jul 7, 2018Updated 7 years ago
• kobigurk / zkhack-double-trouble

  View on GitHub
  ☆10Jan 7, 2024Updated 2 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• isislovecruft / xocolatl

  View on GitHub
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Jan 27, 2015Updated 11 years ago
• KULeuven-COSIC / Panacea

  View on GitHub
  ☆10Mar 4, 2024Updated 2 years ago
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• vuvuzela / crypto

  View on GitHub
  Supplementary cryptography libraries
  ☆16May 23, 2022Updated 3 years ago
• BoltonBailey / formal-snarks-project

  View on GitHub
  A formal verification of Linear PCP SNARKs.
  ☆60Jul 20, 2024Updated last year
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• thinkmoore / llvm-deps

  View on GitHub
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Mar 2, 2013Updated 13 years ago
• Lightninghkm / DataGuard

  View on GitHub
  Code Repository for DataGuard Framework
  ☆13Jul 11, 2023Updated 2 years ago
• GaloisInc / ocelot

  View on GitHub
  Oblivious transfer library for rust
  ☆11Dec 19, 2019Updated 6 years ago
• GottfriedHerold / Chipmunk

  View on GitHub
  ☆11Aug 20, 2024Updated last year
• meagtan / 99-lisp-problems

  View on GitHub
  Solutions for the Ninety-Nine Lisp problems in Common Lisp.
  ☆21Sep 5, 2016Updated 9 years ago
• SpinResearch / rustysecrets-cli

  View on GitHub
  🔑 Command-line wrapper around RustySecrets, a Rust implementation of threshold Shamir's secret sharing.
  ☆10Apr 1, 2018Updated 7 years ago
• SpinResearch / merkle_sigs.rs

  View on GitHub
  🎄🖋 A Rust implementation of Merkle signing
  ☆15Jul 10, 2020Updated 5 years ago
• Eleven-Z / mpc-sok-frameworks

  View on GitHub
  ☆16Apr 29, 2020Updated 5 years ago
• StanPlatinum / Deflection

  View on GitHub
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Jan 10, 2025Updated last year
• sarah-quinones / spindle

  View on GitHub
  ☆18Dec 17, 2025Updated 3 months ago
• dfaranha / aggregate-falcon

  View on GitHub
  Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".
  ☆14May 26, 2024Updated last year
• quininer / kyber

  View on GitHub
  a CCA-secure module-lattice-based KEM
  ☆17Dec 21, 2018Updated 7 years ago
• clvv / rcc

  View on GitHub
  ☆27Sep 25, 2023Updated 2 years ago
• arkworks-rs / dpc

  View on GitHub
  A library for decentralized private computation
  ☆19Jul 21, 2021Updated 4 years ago
• mmaker / zkalc

  View on GitHub
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆94Jan 27, 2026Updated last month
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 3 years ago