Stars
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
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 Coq code and prose.
A modern testing framework for Haskell with good defaults and advanced testing features.
org-parser is a parser for the Org mode markup language for Emacs.
Welcome C++ template hell. Template meta programming at its worst
All the books, resources and study plan for learning Haskell.