A collection of email messages which have been gathered for testing implementations.
☆86Sep 7, 2017Updated 8 years ago
Alternatives and similar repositories for messages
Users that are interested in messages are comparing it to the libraries listed below
Sorting:
- The DIME resolver library and command line utilities.☆414Sep 22, 2023Updated 2 years ago
- The magma server daemon, is an encrypted email system with support for SMTP, POP, IMAP, HTTP and MOLTEN,. Additional support for DMTP and…☆1,837Mar 6, 2025Updated last year
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 2 years ago
- A more modern website and blog for ChatSecure.☆21Aug 29, 2021Updated 4 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- embd-go is an embeddable command-line tool for embedding data files in Go source code, specially crafted for easy use with `go generate`.☆27Jan 13, 2016Updated 10 years ago
- [DEPRECATED] Apache Cordova☆21Apr 16, 2019Updated 6 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Pursuance Project splash page☆12Mar 3, 2023Updated 3 years ago
- Header-only arena allocator implementation in C.☆13Feb 3, 2025Updated last year
- Javascript Library for Signed Web Apps, using Service Workers☆12Mar 9, 2018Updated 7 years ago
- Rust Cryptography Intrinsics☆12May 9, 2019Updated 6 years ago
- The repo of rust crate 'releasetag'. Releasetags can be extracted from application crash-files postmortem☆13May 1, 2019Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 10 years ago
- Write C++ Code to be compiled in a parallel future.☆15Sep 25, 2016Updated 9 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 10 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- paxrat is a utility to set PaX flags on a set of binaries.☆34Jun 27, 2018Updated 7 years ago
- establish trust in community repositories, cryptographically signed by library authors☆37Nov 12, 2025Updated 3 months ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- Deterministic build environment for Zcash☆19Jan 9, 2026Updated last month
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- An example of the simple chat on Tornado☆13Nov 13, 2016Updated 9 years ago
- HardCaml example designs☆18Jun 13, 2018Updated 7 years ago
- Website for Modern PGP☆14Mar 15, 2018Updated 7 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- Whitelist Tor exit relays to allowing Tor users access your CloudFlare-protected site without CAPTCHA's☆62Aug 6, 2016Updated 9 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Mar 13, 2018Updated 7 years ago
- Passphrases is a tool that helps you generate high-entropy passphrases and memorize them using a technique called spaced repetition☆23Mar 25, 2016Updated 9 years ago
- Protected E-mail Headers☆73Feb 7, 2020Updated 6 years ago
- A Common Lisp Bayesian Network Inference Engine☆27Apr 15, 2013Updated 12 years ago
- Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Buil…☆23Jun 17, 2021Updated 4 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Nov 25, 2020Updated 5 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Feb 1, 2016Updated 10 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- The ScrambleSuit traffic obfuscation protocol.☆95Jul 12, 2014Updated 11 years ago
- SpiderOak HTML5 / Javascript / CSS mobile client application, rebooted☆102Jul 27, 2018Updated 7 years ago