A simple and efficient Mamba implementation in pure PyTorch and MLX.

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python

Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute a Semantic Slice (a subset of your program implementing a se…

A Kernel fuzzer focusing on race bugs

ALPACA: A tool for building dynamic cyber ranges from procedurally-generated vulnerability lattices

Automate the creation of a lab environment complete with security tooling and logging best practices

The Hunting ELK

⚖️ A tool for transpiling C to Go.