Stars
Portico is an open source, cross-platform, fully supported HLA RTI implementation. Designed with modularity and flexibility in mind, Portico is a production-grade RTI for the Simulation and Trainin…
Jane Street Capital's standard library overlay
Empowering everyone to build E0E7 reliable and efficient software.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
The core OCaml system: compilers, runtime system, base libraries
Vim-fork focused on extensibility and usability
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
A common library for media playback in JavaScript
Offline signal temporal logic monitor written in Rust
Search-based test generation toolbox written in Python
Ward is a modern test framework for Python with a focus on productivity and readability.
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
A powerful and user-friendly binary analysis platform!
Proving leftpad correct two-dozen different ways
Magnificent app which corrects your previous console command.
Simple, dependency based compositions of activities and decisions for AWS Simple Workflows.