pascal-cuoq Goto Github PK

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

expat-fork

This is a fork of expat. See http://expat.sourceforge.net for the original

floattexter

Generates C programs which print an array of floats as text.

hacl

Experimental High Assurance Cryptographic Library

hexe

A hexdumping tool with 0% fat.

id3v2lib

id3v2lib is a library written in C to read and edit id3 tags from mp3 files.

improved-parakeet

something about strict aliasing

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/

libksba-fork

Illustrating issues in libksba

liblithium

A lightweight and portable cryptography library.

libtasn1-fork

A fork of libtasn1

mbedtls

An open source, portable, easy to use, readable and flexible SSL library

monocypher

An easy to use, easy to deploy crypto library

multi-exec

myhtml

Fast C/C++ HTML 5 Parser. Using threads.

ocaml

The core OCaml system: compilers, runtime system, base libraries

off-pa

oniguruma

regular expression library

openbsd

Source code pulled from OpenBSD for LibreSSL - this includes most of the library and supporting code. The place to contribute to this code is via the OpenBSD CVS tree.

openssl

TLS/SSL and crypto library

pdfgen

Simple C PDF Writer/Generation library

quickfuzz

An experimental grammar fuzzer in Haskell using QuickCheck

s2n

s2n : an implementation of the TLS/SSL protocols

tendra

TenDRA