A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Maintainable configuration files

A Python compiler design toolkit.

Concurrently detect the minimum Python versions needed to run code

Experimental WASM Microkernel Operating System

Skip enables the creation of native SwiftUI apps for iOS and Android

JUnit XML file format & JUnit XML examples. Including format specification, description & conventions.

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…

Tool to generate rust bindings and user API for glib-based libraries

Software implementation of the Posit floating point format

C++ is the based interpreted language

GitHub’s official command line tool

Minimalist Minecraft server for memory-restrictive embedded systems

Command line tools for working with MyST Markdown.

Focus on what matters instead of fighting with Git.

Integrate Qml and Rust by building the QMetaObject at compile time.

Media Type Database

It's a New Kind of Wrapper for Exposing LLVM (Safely)

A template rendering engine based on Jinja, generating type-safe Rust code at compile time.

Uncertain<T> - A Swift library for uncertainty-aware programming.

Towards an API for the Real Numbers

Lecture notes on univalent foundations of mathematics with Agda

Polyglot generator for media files

A unified interface for reading and writing object file formats

A Zulip library written in Swift.

A secure utmp/wtmp implementation

x86 malware emulator