Asymptotic speedup via effect handlers - Volume 34

A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code. ...

Ulrich Drepper recently approached us asking if we would be interested in publishing a lengthy [...]

In this paper we describe the LaTTe proof assistant, a software that promotes the Lisp notation for the formalization of and reasoning about mathematical contents. LaTTe is based on type theory and implemented as a Clojure library with top-level forms for…

A highly accurate partial evaluator for LLVM bitcode

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode - lifting-bits/mcsema

Macro-header for compile-time C obfuscation (tcc, win x86/x64) - DosX-dev/obfus.h

Insights, updates, and technical deep dives on building a high-performance financial transactions database.

sched_ext schedulers and tools. Contribute to sched-ext/scx development by creating an account on GitHub.

An approach to deriving the meaning of a sentence through a series of rigorously specified transformations

The classic DOOM game over htop, the text-based process viewer - 0x0mer/doom-htop

"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works bac...