A fast type checker and language server for Python

PubGrub version solving algorithm implemented in Rust

🌟 For when you really just want to serve some files over HTTP right now!

Make your cursors dance with Helix-like modal editing in VS Code.

Make your cursors dance with Kakoune and Helix-like modal editing in VS Code.

A framework for the elicitation, specification, formalization and analysis of requirements.

An Error-Recovering Parser for Python

(Unity3D) Test multiplayer without building

Min-max algorithm for game theory

Fast C++ logging library.

GitHub Action for Pysa

Wrangling Untrusted File Formats Safely

Post Processor for Facebook Static Analysis Tools.

A security focused static analysis tool for Android and Java applications.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Provide easy code formatting in Vim by integrating existing code formatters.

Automated Analysis Framework for Simulink/Stateflow models.

⭐ Vim for Visual Studio Code

Better whitespace highlighting for Vim

Set of tests for fuzzing engines

A tool for debugging macOS virtual machines

Performant type-checking for python.

Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

An uroboros program with 100+ programming languages

A cat(1) clone with wings.

Apron Numerical Abstract Domain Library

a RTE-free X.509 parser

A collection of resources on modern C++

Some C++ game engine