The BToolkit, a toolkit supporting software development with the B-method.

Collection of Modula-2 Libraries

A cryptographic library in SPARK 2014

Code AI platform with Code Search & Cody

A powerful, innovative and intuitive EDA suite for everyone!

CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro

Provide a reference implementation for the TTM programming language.

A MessageFormat implementation for Rust.

A command system for Rust.

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

A basic MSP430 instruction level emulator written for use with http;//microcorruption.com

The seL4 microkernel

seL4 specification and proofs

Lua in Erlang

Dylan Programming Guide, a book about Dylan.

Dylan Programming Guide - a book about Dylan

Binary decision diagram library (Lua)

Code-as-data in Ruby, without the metaprogramming madness.

Metrics for ruby - a Ruby implementation of metrics inspired by @coda's JVM metrics for those of us in Ruby land

Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages

Expose Erlang Events and Metrics

Small, fast, modern HTTP server for Erlang/OTP.

A minimal Forth VM and Compiler implemented in PostScript

Runtime library for the D programming language

IP stack written in Dylan - includes binary parsing and interactive GUI

The Ada Microkernel Project

The standard library of the D programming language

dmd D Programming Language compiler

Please file issues or pull requests here: https://github.com/dotnet/fsharp