Programming Languages
22,646 items in 77 lists
-
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.
-
PackageInfo github.com
Enables you to retrieve all package informations (like version, tag, release date, description).
-
ffmt github.com
Fast, configurable Fortran formatter with support for Fypp, Doxygen, and OpenACC/OpenMP directives. Written in Rust, installable via pip.
-
FarCry CMS github.com
- next page of items loading…
