Ada bindings for MPFR

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Platform to submit RFCs for the Ada & SPARK languages

Give GitHub a Windows Classic look

ZipPy is a Python3 interpreter on top of Truffle framework

A language and an embedded JIT compiler

Braid is a team-chat app with a novel UI that leads to better conversations.

Airwave is a WINE-based VST bridge, that allows for the use of Windows 32- and 64-bit VST 2.4 audio plugins with Linux VST hosts

script python pour surveiller les prix des billets de train SNCF en vente sur voyages-sncf.com

Ada semantic analysis library.

Python job scheduling for humans.

Ada Wavefile Library

VST bridge for Windows vst on Linux

VST Reverb In C++

Thick Ada binding for OpenGL and GLFW

Optional static typing for Python

💌 An extensible desktop mail app built on the modern web. Forks welcome!

Code. Music. Live.

A library and language for building parsers, interpreters, compilers, etc.

Library for generating ABI-compliant LLVM IR

The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

Logic Programming in Python

A Command-line Interface to Gerrit Code Review

Succinct Data Structure Library 2.0

Auto-layout Ui library, lightweight, skinnable and system agnostic, with an OpenGL backend

Simple library to render/format a JS obj to an HTML view.

Text-mode interface for git

Statically typed ml-like language, with type classes. Not even alpha !

Clojurescript running on lua ! In construction

Radio Admin Deck - Control and administrate your web radio