Basic "How to write a Linux kernel patch and submit it" tutorial

Haskell implementation of the QOI image format

The “Quite OK Image Format” for fast, lossless image compression

Zcash - Internet Money

Go implementation of the Ethereum protocol

Polkadot Node Implementation

List of Bluetooth BR/EDR/LE security resources

Awesome information for WebSockets security research

The Haskell Tool Stack

A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Transfer

A curated list of algorithms and papers for auditing black-box algorithms.

Tidecoin: Open Source Post-Quantum Security Bitcoin

Official upstream development repository for Cabal and cabal-install

very currency

Proof assistant based on the λΠ-calculus modulo rewriting

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

A collection of links related to Linux kernel security and exploitation

Irmin is a distributed database that follows the same design principles as Git

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

Standard ML Parser Combinator Library

OpenTitan: Open source silicon root of trust

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Multicore OCaml

Build your hardware, easily!

In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…

Pure OCaml Git format and protocol

🏵️ A curated list of Emacs Lisp development resources

The seL4 microkernel