native uxn emulator for plan9

Walkthrough of how to enable ADB on the Skylight Calendar Max, and get home assistant working

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

A json-like data structure library in Ada

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Wichmann-Hill Pseudo-Random Number generator

Gemini server in Ada

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

SPARK 2014 re-implementation of the TweetNaCl crypto library

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

An Ada 2012 library for posix_spawn() to spawn processes without a fork().

SPARK Proof Analysis Tool

A curated list of awesome resources related to the Ada and SPARK programming language

libtls in Ada

Tomek's Ada build tool

A test framework in Ada

Tomek's Ada Class Library

Starlark in Go: the Starlark configuration language, implemented in Go

AWS is a complete framework to develop Web based applications in Ada.

GNU toolchain for RISC-V, including GCC

Builds of the GNAT Ada compiler from FSF GCC releases

JSON/JWK/JWS/JWT/Base64 library in SPARK

A 486-class PC emulator written entirely in Visual Basic 6

Your personal intelligence agent. Watches the world from multiple data sources and pings you when something changes.

IRC client viewed in WebKit or Gecko