Stars
A sensible Common Lisp linter that catches real mistakes, not style
Proving leftpad correct two-dozen different ways
Simple demonstration for how to fuzz test a C++ program with AFL.
snunez1 / llama.cl
Forked from karpathy/llama2.cInference 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.
An Emacs framework for the stubborn martian hacker
Open source book dedicated to helping you to make the best possible sourdough bread at home.
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
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
A torture test for gemini servers