mosquitto-ada github.com

Binding for the MQTT broker Mosquitto.

play-2048 github.com

A clone of the popular 2048 game, implemented in Ada using asfml for graphics and ada-toml for saving state.

retro-arcade github.com

Space Invaders, Pacman, & Frogger games that run in a terminal on Windows, OS-X & Linux.

spark-railway-demo github.com

Simulated railway network in SPARK/Ada.

coffee-clock github.com

Waking up with a fresh cup of coffee.

az3 github.com

Ada binding for Z3.

gnatbdd github.com

Behavior Driven Development in Ada.

florist-blady github.com

A fork of Florist which is available as an Alire crate.

asap github.com

A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.

netaddr github.com

archlinux-cl github.com

cl-web-push github.com

dh-quicklisp-buildapp github.com

polisher github.com

QBook github.com

babel2 github.com

SBCL Windows builds supporting Windows 7+ github.com

cl-authentic github.com

yamson github.com

doplus github.com

prometheus-g github.com

AsCollada github.com

Parse COLLADA 3D model files (fork).

DataGrid github.com

Displays a datagrid with column headings and smooth scrolling.

8080 Emulator github.com

An actionscript 3 space invaders emulator based on the intel 8080 processor.

oauth-flex github.com

OAuth.io plugin for Apache Flex/ActionScript.

PDF github.com

Lets you open PDF files from your AIR mobile apps. Supported on Android and iOS.

DownloadManager github.com

Download large data files with pause/resume support.

SeiON github.com

Sound Management Library.

version-from-git github.com

surrealdb.cr github.com

Unoffical SurrealDB HTTP & Websocket Client

kemal-identity github.com

Authentication and identity primitives with first-class Kemal integration

secure-remote-password github.com

SRP-6a protocol for authentication over an insecure network

connect-proxy github.com

Connect method style of HTTP tunnelling / HTTP proxy

tssc.cr github.com

Time::Span String Converter (incl. JSON & YAML support)

envyable github.com

A simple YAML to ENV config loader

pinboard.cr github.com

Pinboard API

GiavaScript github.com

Open-source, cross-platform JavaScript runtime

luajit.cr github.com

LuaJIT bindings for Crystal

GDAX github.com

GDAX REST and WebSocket API Wrapper with request signing

port_midi github.com

Crystal C bindings for the PortMIDI cross-platform MIDI I/O library

apt-larder github.com

An HTTP caching proxy for APT package repositories

coin github.com

Command-line application that performs currency conversion via the Fixer API

Athena Validator github.com

Robust & flexible validation framework

QuickAccessPopup github.com

FTP github.com

DHibernate github.com

. [Delphi] Object Persistent Framework based on Hibernate and NHibernate for Delphi. // Abandoned since 2012

byterage github.com

. [Delphi] Object pascal class library designed to remove some of the limitations of streams. The framework is very simple to use, with only one common ancestor class (TBRBuffer) which defines a set of storage agnostic mechanisms for allocating, scaling, inserting, deleting and…

simple-logger github.com

. [FPC] Simple, thread-safe logger for FPC/Lazarus. Logs saved to file, support for log archiving and compression.

WindowsAutorun github.com

. [Delphi] Helps you manage autoload in Windows OS.

Browse and Doc It github.com

. RAD Studio IDE plug-in to allow you to browse your code and provide support for documentation, coding checks and metrics.