Programming Languages
22,646 items in 77 lists
-
Hadamard Gate Q# Demo github.com
-
Game of Life github.com
-
2048 Game github.com
-
Top Down Shooter github.com
-
mat github.com
Simple memory analysis tool intended to help understand where the memory is used in a program.
-
ada-lzma github.com
Ada binding for liblzma compression library.
-
ada-el github.com
This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).
-
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
- next page of items loading…
