Pinned Repositories
abstract_floats
Sets of floats and operations over them
automatic-waffle
A repo for debugging TrustInSoft CI, nothing you'll be interested in
BLAKE3
official implementations of the BLAKE3 cryptographic hash function
constant-time-exercises
Various exercises illustrating constant-time programming
csmith
Csmith, a random generator of C programs
DECalpha
A decimal floating-point system with many of the same properties as IEEE 754's binary floating-point
divide10
a C library for fast division by a power of 10
hacl
Experimental High Assurance Cryptographic Library
zlib-fork
This is a fork of zlib 1.2.8, with step-by-step analysis with tis-interpreter added as extra commits
ub-canaries
collection of C/C++ programs that try to get compilers to exploit undefined behavior
pascal-cuoq's Repositories
pascal-cuoq/abstract_floats
Sets of floats and operations over them
pascal-cuoq/divide10
a C library for fast division by a power of 10
pascal-cuoq/automatic-waffle
A repo for debugging TrustInSoft CI, nothing you'll be interested in
pascal-cuoq/BLAKE3
official implementations of the BLAKE3 cryptographic hash function
pascal-cuoq/DECalpha
A decimal floating-point system with many of the same properties as IEEE 754's binary floating-point
pascal-cuoq/zlib-fork
This is a fork of zlib 1.2.8, with step-by-step analysis with tis-interpreter added as extra commits
pascal-cuoq/expat-fork
This is a fork of expat. See http://expat.sourceforge.net for the original
pascal-cuoq/floattexter
Generates C programs which print an array of floats as text.
pascal-cuoq/hexe
A hexdumping tool with 0% fat.
pascal-cuoq/id3v2lib
id3v2lib is a library written in C to read and edit id3 tags from mp3 files.
pascal-cuoq/improved-parakeet
something about strict aliasing
pascal-cuoq/json-c
https://github.com/json-c/json-c is the official code repository for json-c. See the wiki for release tarballs for download. API docs at http://json-c.github.io/json-c/
pascal-cuoq/libksba-fork
Illustrating issues in libksba
pascal-cuoq/liblithium
A lightweight and portable cryptography library.
pascal-cuoq/libtasn1-fork
A fork of libtasn1
pascal-cuoq/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
pascal-cuoq/Monocypher
An easy to use, easy to deploy crypto library
pascal-cuoq/multi-exec
pascal-cuoq/myhtml
Fast C/C++ HTML 5 Parser. Using threads.
pascal-cuoq/ocaml
The core OCaml system: compilers, runtime system, base libraries
pascal-cuoq/Off-Pa
pascal-cuoq/oniguruma
regular expression library
pascal-cuoq/PDFGen
Simple C PDF Writer/Generation library
pascal-cuoq/QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
pascal-cuoq/s2n
s2n : an implementation of the TLS/SSL protocols
pascal-cuoq/tendra
TenDRA
pascal-cuoq/TrustInSoft
pascal-cuoq/wp-exercises
Exercises around weakest precondition-based verification in Frama-C
pascal-cuoq/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
pascal-cuoq/zlib
A massively spiffy yet delicately unobtrusive compression library.