Simple Game of Life implementation in Ada.
☆23Feb 18, 2021Updated 5 years ago
Alternatives and similar repositories for ada-gol
Users that are interested in ada-gol are comparing it to the libraries listed below
Sorting:
- Rust bindings to stb☆10Dec 3, 2025Updated 2 months ago
- Doggo Browser☆12May 28, 2021Updated 4 years ago
- Just a test bench to learn Quaternions☆10Dec 20, 2020Updated 5 years ago
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- ☆11Feb 4, 2026Updated 3 weeks ago
- Metaballs☆25Aug 16, 2021Updated 4 years ago
- Ada Wavefile Library☆19Dec 14, 2022Updated 3 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 5 years ago
- Twitch overlay displaying what you are typing☆14Oct 13, 2017Updated 8 years ago
- cross-platform falling sand☆17Nov 23, 2021Updated 4 years ago
- Source code of my resume☆12Jan 27, 2018Updated 8 years ago
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆12Apr 21, 2021Updated 4 years ago
- GNAT Components Collection – Database packages☆14Nov 28, 2025Updated 3 months ago
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year
- Game Of Life & Brian's Brain☆16Sep 17, 2021Updated 4 years ago
- 3D game using raylib☆16Jan 22, 2021Updated 5 years ago
- Exemplo de servidor REST totalmente feito em Common Lisp para consultas futuras (em progresso)☆12May 16, 2020Updated 5 years ago
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆11Oct 29, 2020Updated 5 years ago
- Bindings for SDL2_mixer☆12Aug 24, 2024Updated last year
- Small library for braillizing images☆17Sep 21, 2019Updated 6 years ago
- Simple rogue-like game in Haskell☆17Apr 2, 2021Updated 4 years ago
- Solutions for five programming problems every Software Engineer should be able to solve in less than 1 hour☆40May 12, 2015Updated 10 years ago
- Classical Rainbow Triangle using Rust and Vulkan via vulkano bindings☆19Apr 23, 2021Updated 4 years ago
- A simple HTTP and Websocket library with minimal external dependencies.☆18Sep 10, 2017Updated 8 years ago
- SPARK Proof Analysis Tool☆17Oct 19, 2020Updated 5 years ago
- An Ada Library for UUID generation.☆16Dec 8, 2021Updated 4 years ago
- A subset of dirent interface for Windows.☆27Apr 15, 2024Updated last year
- My ongoing effort to learn how to make Ray Tracers☆18Aug 3, 2019Updated 6 years ago
- An Ada controller for static analysis and rules checking☆17Mar 4, 2024Updated last year
- Aflex the Ada fast lexical analyser generator☆18Jun 22, 2025Updated 8 months ago
- Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents☆23Feb 16, 2026Updated last week
- Hash Table Implementation in Rust☆20May 2, 2021Updated 4 years ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆84May 14, 2021Updated 4 years ago
- SDL_image 2.0 wrapper☆18Sep 14, 2024Updated last year
- Solutions for Advent of Code challenge☆22Dec 12, 2025Updated 2 months ago
- Ada Database Objects☆28Dec 16, 2025Updated 2 months ago
- The perl Text::Markdown CPAN module☆50Nov 27, 2018Updated 7 years ago
- ALL of these mods work some are ones that I made some my friends made☆15Mar 27, 2023Updated 2 years ago
- An attempt at a minimalistic and secure operating system.☆27May 28, 2021Updated 4 years ago