MVU.v github.com

MVU pattern (The Elm Architecture) implemented in V programming language.

vord github.com

Library for interacting with user account endpoints and gateway (Self-bots, custom clients, etc).

html2imba github.com

stm32-ui github.com

STM32 UI library and tools (graphs, images, 12 hour clock).

anagram github.com

Grammar handling and parser generation Ada library.

ada-pretty github.com

Pretty printing library for Ada.

ada-soundio github.com

Ada bindings for libsoundio.

agpl github.com

Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

ada4cmake github.com

CMake macros for simple gnat project inclusion.

ada-ogl github.com

Ada OpenGL Framework.

lalg github.com

Interface to dense linear algebra packages.

chests github.com

Bounded containers for embedded systems.

mars-mpl github.com

Mars Polar Lander (Crash) Simulator (gtkada, aicwl).

ada-sodoku github.com

Small Library for Sodoku grid solving / finding.

ada-bundler github.com

Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.

rufas-cube github.com

RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).

solenoid-engine-controller github.com

Software controller for solenoid engines (Ada/STM32F4).

yotroc github.com

Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.

imgui-ada github.com

Ada binding of the ImGui library.

tp7-ada-gnoga github.com

Implementation of Turbo Pascal 7.0 units with gnoga.

buttons github.com

A simple gtkada Button Mania game.

simple-logging github.com

Easy to use logging facilities for output to console in Ada programs.

railway-simulation github.com

Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.

gnat-ce (discontinued) github.com

GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

cl-mpg123 github.com

qldeb github.com

cl-webapp-seed github.com

djula-template-designer github.com

make-common-lisp-program github.com

DRef github.com

csv-validator github.com

paren-jquery github.com

peercoin-vote github.com

peercoin-blockchain-parser github.com

common-lisp-heroku-example github.com

texp github.com

WouldWork github.com

live-cells github.com

mito-email-auth github.com

cl-project-with-docs github.com

cl-prevalence-multimaster github.com

XXTEA-AS3 github.com

XXTEA encryption algorithm library for ActionScript 3.

AS3-audio github.com

Audio Management in Actionscript.

AS3-bvh-parser github.com

Parse BVH files.

AS3iCAL github.com

iCal parser based on the RFC2445 specification.

RateMe github.com

Ask your users to rate your app in the most efficient way.

CSV4AS3 github.com

CSV library ported from Apache Commons CSV.

AS3abc github.com

Low level library to parse, create, modify and publish ABC (Actionscript Block Code) files.

AIRXMail github.com

Complete client-side email library supporting SMTP, POP3 and IMAP4.

Argilla-Mosaic github.com

Dynamic layout library.