Collection of experiments with the Ada language
☆15Mar 25, 2013Updated 13 years ago
Alternatives and similar repositories for ada-playground
Users that are interested in ada-playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some tools for working with Graphite☆11Apr 5, 2011Updated 15 years ago
- OpenGL GUI toolkit library for Ada☆28Feb 15, 2013Updated 13 years ago
- BSD sockets in Ada☆15Jul 21, 2023Updated 3 years ago
- Ada-bindings for 0mq☆42Jul 17, 2026Updated 3 months ago
- Port of tinywm to Ada for chuckles☆67Oct 28, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A cryptographic library in SPARK 2014☆29Jan 26, 2021Updated 5 years ago
- A secure timestamp client/server☆23May 16, 2022Updated 4 years ago
- Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL☆12Feb 26, 2023Updated 3 years ago
- Awesome resources and other links related to the Ada programming language☆67Jun 25, 2020Updated 6 years ago
- Ada bindings for the notcurses text user interface library☆15Mar 6, 2023Updated 3 years ago
- me hacking on libevent-python☆14Jan 26, 2010Updated 16 years ago
- An extension for Tk to read SVG images based on nanosvg☆39Jul 10, 2026Updated 3 months ago
- the translator from C headers to another language (currently, Ada only)☆20Apr 27, 2024Updated 2 years ago
- A gogreen peering system that builds a pre-connected mesh of servers for fast internal RPC☆13May 18, 2011Updated 15 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A package containing many useful algorithms (borrowed from many other programming languages).☆15Apr 17, 2025Updated last year
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- Example about how to use to different version of the same class at the same time.☆11Jan 26, 2013Updated 13 years ago
- Erlang SipHash-2-4 NIF☆13Jul 24, 2024Updated 2 years ago
- Drake: A Runtime Library for gcc-Ada☆44May 2, 2020Updated 6 years ago
- SPARK Proof Analysis Tool☆18Oct 19, 2020Updated 6 years ago
- Some mcabber utilities I have running around☆12May 2, 2009Updated 17 years ago
- The Ada Microkernel Project☆116May 13, 2015Updated 11 years ago
- Coleção do Ensino Médio - Livro Aberto de Matemática☆12May 18, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Puppet module to dynamically configure haproxy on Redhat family OSes using storeconfigs☆14May 18, 2022Updated 4 years ago
- The idomatic Ruby API for building Jenkins CI plugins☆16Mar 29, 2012Updated 14 years ago
- This project is obsolete is no longer developed, maintained or serviced!☆86Apr 2, 2018Updated 8 years ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆22Oct 12, 2020Updated 6 years ago
- Smallest usable editor in less than 1000 lines of C☆27Mar 26, 2017Updated 9 years ago
- Embeddable Forth interpreter written in Ada☆28Sep 20, 2015Updated 11 years ago
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12May 27, 2019Updated 7 years ago
- PKCS#5 algorithms in Erlang☆12Jun 22, 2022Updated 4 years ago
- Heroku like solution for SUSE Studio☆17Apr 12, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A fuzzing/analysis framework for scapy.☆13Jul 7, 2014Updated 12 years ago
- Ada binding for the Raylib library.☆21Jul 18, 2026Updated 3 months ago
- PDP-8 OS/8 Handler and Disk Server☆12Jul 9, 2025Updated last year
- Upload of the source of 4.2BSD taken from /usr/src☆12Aug 8, 2024Updated 2 years ago
- simple addr2line reimplementation☆11Jan 31, 2012Updated 14 years ago
- Discord API library writtten in Tcl.☆10Nov 23, 2016Updated 9 years ago
- Find out the resource utilization of the containers in the system☆16Oct 26, 2014Updated 12 years ago