LLVM to Common Lisp transpiler.

An operating system written in Common Lisp

Rust bindings for the Z3 solver.

The Z3 Theorem Prover

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

Gorgonia is a library that helps facilitate machine learning in Go.

My Doom Emacs configuration

Source for the Termux build on Google Play.

Implementation in Go of the post-quantum algorithms CRYSTALS-Kyber and -Dilithium

Go bindings for liboqs

Terraria 1.4.0.5 Source Code

A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations

Malware that mutates its own code

Tight bidirectional integration between Go and Python

Modular in-buffer completion framework for Emacs

A use-package declaration for simplifying your .emacs

Emacs rainbow delimiters mode

An example of a fully custom Emacs configuration developed live on YouTube!

F# language server using Language Server Protocol

Defines a common protocol for language servers.

[mirror] Go Tools

A client for Language Server Protocol servers

🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

Small Clojure interpreter, linter and formatter.

A Proof-oriented Programming Language

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…