Driver and tools for controlling Lenovo Legion laptops in Linux including fan control and power mode.

Portable, simple and extensible C++ logging library

It's sudo, for Windows

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…

The Racket repository

Cryptol: The Language of Cryptography

A port of Coq to Javascript -- Run Coq in your Browser

A Coq library for Homotopy Type Theory

A Scheme library to avoid writing shell scripts

Tour d'horizon sur le système de fichier FAT32

A statically typed lisp, without a GC, for real-time applications.

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

Cogent Project

Gambit@30 talks and related documents

Gambit is an efficient implementation of the Scheme programming language.

Contextual types meet mechanized metatheory!