Popular Ada Topics

Browse LibHunt's top topics to find your best library options.

Ada

daikin
imperative-programming
rejuvenation

ada-language

ada2012

Gnat

ada-library

Linux

Network
Desktop
Debian

advent-of-code

Adventofcode
advent-of-code-2020
advent-of-code-2023

Formal Verification

Game

Simulation
godot-engine
Modding

Lisp

exercism-track
Isbn
Continuations

Raspberry Pi

3d-printing
pi-hole
Pihole

Learning

memorization
flashcard-application
fortran-tutorial

SFML

2048-game
super-mario-bros
opentk

OpenGL

Raytracing
DirectX
Voxel

learning-by-doing

oanda
machinelearningmastery
beautifulday

Terminal

Fish
Unicode
color-scheme

Graphics

Julia
Font
Fun

Windows

Emulator
Nvidia
Mpv

Gamedev

Shaders
Rendering
Gdscript

force-feedback

formal-specification

Game development

Physics
VR
procedural-generation

egl

visualinfo
xdg-shell
wayland-ada

Binding

Native Implemented Functions
0mq
java-bindings

ada-spark

Spark

Ada
Logstash
Formal Verification

adaadventofcode21

lisp-dialect

Formal Methods

Audio

Sound
Mp3
Codec

gtkada

project-euler

Compiler

Optimization
Lisp
Macros

Wayland

Picker
wayland-compositor
Wm

lisp-interpreter

pc-g850
timebox
standalone-executables

rp2040

pi-pico
sega-dreamcast
raspberry-pico

alire

advent-of-code-2021

aoc-2021
advent-of-code-2023-rust
advent-of-code-2021-python

Puzzle

Lego
minesweeper-game
Jigsaw

Generator

Source
Struct
random-generation

Vulkan

Intel
Gpgpu
Proton

Maths

fine-fractals
divisibility-rules
trig

operating-systems

v8-javascript-engine
mlsys
multi-process

Lzma

M68k

riscos
composite-video
acorn-electron

embedded-linux

toyota
ext2
iot-security-testing

Integration

monoprice
modbus-serial
mirth

Mqtt

modbus
Ota
Manufacturing

Kmac

encryption-decryption

android-hack
decryptor
pgp-key

keccak

rst

ascon

directory-traversal