State-of-the-art Machine Learning for the web. Run 🤗 Transformers directly in your browser, with no need for a server!

A lisp that compiles to eBPF

A sensible Common Lisp linter that catches real mistakes, not style

Jupyter Kernel for ACL2

Proving leftpad correct two-dozen different ways

Simple demonstration for how to fuzz test a C++ program with AFL.

Inference Llama in Common Lisp

ACL2 System and Books as Maintained by the Community

Austin Benchmark Suites for Computational Electromagnetics

🎮 · Jazz² Resurrection: Native C++ reimplementation of Jazz Jackrabbit 2

Powerful and highly extensible command-line based document and bibliography manager.

Transducers: Ergonomic, efficient data processing.

A fresh implementation of Common Lisp

An Emacs framework for the stubborn martian hacker

The Common Lisp Cookbook

Open source book dedicated to helping you to make the best possible sourdough bread at home.

Common Lisp machine learning library.

check-media-integrity is a command line tool that checks the integrity of specific media files (pictures, video, audio) or all the media files in subfolders, recursively.

[Deprecated] Common Lisp Differentiable Matrix Operations for Mathematical Optimization.

This is a cheat sheet for doom emacs, mostly from the guides I see online.

Deep Learning Primitives and Mini-Framework for OpenCL

DLPrimitives/OpenCL out of tree backend for pytorch

Cyberpunk style theme for KDE

POC: download documents from doc88.com as images and convert them to searchable PDFs

A shell script which checks your $HOME for unwanted files and directories.

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

Statistical Rethinking course winter 2022

ScanTailor Advanced is the version that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.

#1=(yet another . #1#) common lisp testing library