Cross-platform, performant, scanner program for Nikon scanners

A command line utility for Costpoint ⏱

Multi-architecture emulation for the modern era.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Distribute and run LLMs with a single file.

collection of C/C++ programs that try to get compilers to exploit undefined behavior

C-Reduce, a C and C++ program reducer

Chromium running inside your terminal

hyphen - access Haskell modules from Python

Memray is a memory profiler for Python

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

Moved to https://github.com/kudu-dynamics/blaze-platform/tree/main/binaryninja-haskell

Unbearably fast near-real-time pure-Python runtime-static type-checker.

Build a database of libc offsets to simplify exploitation

A curated list of CTF frameworks, libraries, resources and softwares

Diaphora, the most advanced Free and Open Source program diffing tool.

A simple tool for compiling Java from the Clojure CLI.

Arity-generic datatype-generic, or doubly-generic, programming in Coq.

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

Class instances for Coq inductive types with little boilerplate

Thread-safe Common Lisp style conditions and restarts for Clojure(Script) and Babashka.

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

A collection of tools for writing technical documents that mix Rocq code and prose.

A modern testing framework for Haskell with good defaults and advanced testing features.

AoC competition of 2020

work-in-progress structure-based ascii art

Etherify - bringing the ether back to ethernet

org-parser is a parser for the Org mode markup language for Emacs.

Welcome C++ template hell. Template meta programming at its worst