Repository Index

High-level tracing language for Linux

• bpf
• ebpf
• tracing
• kprobes

A C++ library of Concurrent Data Structures

• lock-free
• containers
• hazard-pointer
• rcu

🛡️ BLA (Blind LLM Agents) — Adversarial defense shield that protects binaries, Electron apps, JS bundles, Python, and WebAssembly against AI reverse-engineering agents like REA. Poison -> Exhaust -> Hallucinate.

• adversarial-ai
• claude-code
• cursor
• electron-security

Smart pointers for the (GNU) C programming language

Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.

Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers

• javascript
• nodejs
• json-schema
• json-reference

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Turn Buffer instances into "pointers"

Common combinators for Elixir

• pointfree
• curried-functions
• elixir
• functional-languages

[A]synchronous Functional Programming

• function-composition
• asynchronous
• transducers
• parallel

A functional JavaScript library that facilitates currying and point-free programming

• ai-friendly
• composition
• curry
• currying

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

🤘Utility library for functional JavaScript. With ❤️ to Ramda.

• ramda
• ramda-functions
• utils
• utilities

functional/point-free utils for JavaScript

• functional-programming

Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file

• csharp
• dotnet
• csharp-script
• dotnet-exec

Generalized folds, unfolds, and traversals for fixed point data structures

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations