A purely functional programming language with first class types

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Project Wycheproof tests crypto libraries against known attacks.

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

OCaml implementation of the lox language from Crafting Interpreters

Community Cryptography Specification Project

Rust library for cryptographic research

GCC Front-End for Rust

A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good performance

This is a repo providing solutions written in Go to the Matasano Cryptopals Challenges.