andres-erbsen

andres-erbsen's Stars

• mjl-/mox

  modern full-featured open source secure mail server for low-maintenance self-hosted email

  Language:Go3.6k3620699

• kneasle/sapling

  A highly experimental vi-inspired editor where you edit code, not text.

  Language:Rust723114519

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq71052409147

• azonenberg/pcb-checklist

  Sign-off review checklist for PCB designs

  605383101

• snarfed/bridgy-fed

  🌉 A bridge between decentralized social network protocols

  Language:Python5781770530

• mit-plv/bedrock2

  A work-in-progress language and compiler for verified low-level programming

  Language:Coq2941510345

• sifive/Kami

  Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT

  Language:Coq197723111

• mit-plv/riscv-semantics

  A formal semantics of the RISC-V ISA in Haskell

  Language:Haskell155241716

• vnmakarov/yaep

  Yet Another Earley Parser

  Language:SWIG135122214

• mit-plv/riscv-coq

  RISC-V Specification in Coq

  Language:Coq109151117

• AndrasKovacs/setoidtt

  Prototype implementations of systems based on setoid type theory

  Language:Haskell641631

• squirrel-prover/squirrel-prover

  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.

  Language:OCaml501022

• mit-plv/coqutil

  Coq library for tactics, basic definitions, sets, maps

  Language:Coq42122424

• z-erica/cosmopolitan-sdl2

  Language:C++28230

• andres-erbsen/salsa20

  An implementation of djb-s salsa20 in 45 lines of human-readable C code

  Language:C14212

• andres-erbsen/curve25519-verilog

  Beginnings of a Verilog implementation of Curve25519.

  Language:Verilog9303

• mit-plv/cross-crypto

  Connecting computational and symbolic crypto models

  Language:Coq813719

• andres-erbsen/LSAGS

  Implementation of Linkable Spontaneous Anonymous Group Signature for Ad Hoc Groups by Joseph K. Liu, Victor K. Wei and Duncan S. Wong

  Language:C320

• andres-erbsen/PriorityMail

  Local, personalized email prioritizer using machine learning (and benchmark results)

  Language:Python320

• andres-erbsen/safecurves-primes

  Checking the SafeCurves primes in Coq

  Language:Python320

• andres-erbsen/sgp-c

  Simply Good Privacy. PGP-like system without web of trust. At the moment "only" curve25519 is supported.

  Language:C320

• mit-plv/certifying-derivation-of-state-machines-from-coroutines

  Language:Haskell31002

• andres-erbsen/bedrock2

  An untyped C-like language for verified low-level programming, with a compiler to RISC-V

  Language:Coq120

• andres-erbsen/certifying-derivation-of-state-machines-from-coroutines

  Language:Haskell110

• andres-erbsen/chacha20-verilog

  A Verilog implementation of ChaCha20

  Language:Verilog130

• andres-erbsen/cjdns-estimate

  Almost a simulation, trying to estimate how much longer are paths found by cjdns compared to actual shortest paths

  Language:C++120

• andres-erbsen/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq120

• andres-erbsen/rupicola

  Extracting imperative code from Gallina

  Language:Coq110

• andres-erbsen/voteclient

  Yet Another e-voting system, this time based on linkable anonymous signatures

  Language:Shell121

• andres-erbsen/voteserver

  Language:Go1211