The Superior Lisp Interaction Mode for Emacs

clasp Common Lisp environment

Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge

A Compiler Writing Journey

Awesome Lisp Companies

A fast non-blocking HTTP server on top of libev

A wrapper around libsodium, providing easy, correct, safe crypto for common lisp.

CLOG - The Common Lisp Omnificent GUI

Some of the questions which i was asked when i was giving interviews for Application/Product Security roles. I am sure this is not an exhaustive list but i felt these questions were important to be…

Check My DNS command line client

UTF-8 rope library for C

The open source frontend for GitBook doc sites

HACL*, a formally verified cryptographic library written in F*

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Cryptol: The Language of Cryptography

🎲 A Tiny and Platform-Independent True Random Number Generator for any FPGA (and ASIC).

AMD Secure Encrypted Virtualization

Mirror of Software Foundations in PDF

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

A Proof-oriented Programming Language

Constant-Time Toolkit

DOM Protected Hardware Implementation of AES

A lightweight, secure, easy-to-use crypto library suitable for constrained environments.

A hands-on tutorial on the new parallelism features in OCaml 5

Effects-based direct-style IO for multicore OCaml

Hardcaml is an OCaml library for designing hardware.

Scala based HDL

Haskell to VHDL/Verilog/SystemVerilog compiler