Fabien-Chouteau/adventofcode-ada Fabien-Chouteau/adventofcode-ada

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Ada
  • Created almost 7 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Fabien-Chouteau/adventofcode-ada
github

Fabien-Chouteau

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Solutions to the adventofcode.com puzzles implemented in Ada

More Repositories

1

ACNC

A G-code parser and CNC controller (in Ada)
Ada
61
star
2

picoprobe-pcb

37
star
3

eagle-lander

Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Ada
27
star
4

Wee-Noise-Maker

Open source pocket synthesizer
Ada
25
star
5

usb_embedded

An Ada USB stack for embedded devices
Ada
20
star
6

GESTE

GEneric Sprite and Tile Engine
Ada
19
star
7

Ada_Time

Ada binding for the Pebble Time smartwatch
Ada
17
star
8

un_pola

DIY instant camera with OpenMV and AdaFruit's thermal printer
Ada
17
star
9

noise-nugget

Square Inch Synthesizer
Ada
15
star
10

qoi-spark

โ€œQuite OK Imageโ€ Ada implementation
Ada
15
star
11

Ada-PicoRV32-example

Example of Ada code running on the PicoRV32 RISC-V CPU for FPGA
Verilog
14
star
12

bbqueue-spark

An Ada implementation of James Munns' BBQueue
Ada
11
star
13

shoot-n-loot

A little platform and shoot game for the AdaFruit PyGamer
Ada
10
star
14

lvgl-ada

An Ada binding for the lvgl embedded GUI library: https://github.com/littlevgl/lvgl
Ada
9
star
15

ada-voxel-space-demo

Voxel Space render engine demo in Ada. Inspired by https://github.com/s-macke/VoxelSpace
Ada
7
star
16

coffee-clock

Waking up with a fresh cup of coffee
Ada
7
star
17

raylib-ada

Ada bindings for the Raylib library
Ada
7
star
18

Giza

Giza is trying to be a simple widget tool kit for embedded platforms
Ada
6
star
19

spark-railway-demo

Simulated railway network in SPARK/Ada
Ada
6
star
20

VirtAPU

A virtual Audio Processing Unit to simulate 8-bit era game sounds
Ada
6
star
21

lpc_synth

Ada implementation of Linear Predictive Coding voice synthesizer
Ada
5
star
22

bare_runtime

Minimal Ada/SPARK run-time for embedded or other restricted targets
Ada
5
star
23

littlefs-ada

Ada/SPARK binding for the littlefs flash embedded filesystem
Ada
4
star
24

task_coroutines

Coroutines in Ada using only standard tasking features
Ada
4
star
25

solenoid-engine-controller

Software controller for solenoid engines (Ada/STM32F4)
Ada
4
star
26

adverserial

A common data structure that can be encoded in JSON, TOML, YAML and XML
Ada
3
star
27

AMCQ

Multiple Choice Questions candy dispenser
Ada
3
star
28

tiled-code-gen

Code generator for Tiled the map editor
Ada
3
star
29

AGATE

Playing with the idea of a tasking/RTOS library in Ada
Ada
3
star
30

atomic

Standalone binding to GCC atomic built-ins
Ada
3
star
31

hal

Hardware Abstraction Layer: interfaces definitions to abstract access to common hardware devices and protocols
Ada
3
star
32

lvgl-ada-simulator

SDL simulator for the Ada binding of lvgl embedded GUI library
C
2
star
33

chipmunk2D-ada

Ada bindings for the Chipmunk2D physics engine
Ada
2
star
34

motherlode

2D excavation game inspired by the flash game Motherload
Ada
2
star
35

flux

Experimental data stream library for Ada
Ada
2
star
36

ada-axidraw

Ada drivers and Gcode parser for AxiDraw v3
Ada
2
star
37

samd51-hal

Ada drivers and HAL implementation for the SAMD51 micro-controller family
Ada
2
star
38

MIDI_signal_flow

Graph based routing and modification of MIDI messages
Ada
2
star
39

MCU-knowledge-database

A database of info on micro-controllers (memory, CPU core, vendor, etc.) and some scripts to manipulate it
Python
2
star
40

zfp-hifive1

(obsolete) GNAT Zero Foot Print run-time for the HiFive1 RISC-V board
Ada
1
star
41

pygamer-simulator

SDL simulator of the AdaFruit PyGamer
Ada
1
star
42

suika-programing

Suika game clone with programing languages
Ada
1
star
43

kabitbol

Beginning of a kernel for the Leon3 processor (in C)
C
1
star
44

embedded-components

Platform agnostic drivers to interface external components
Ada
1
star
45

rtmidi_ada

Ada binding for the rtMIDI library
Ada
1
star
46

pygamer_usb_gamepad

Turn your PyGamer into a USB gamepad
Assembly
1
star
47

ARM_formatter

CartoCSS
1
star
48

field-programmable-game-console

FPGC: A protable game console base on the TinyFPGA-BX
1
star
49

GESTE-examples

Examples for the GESTE game engine
Ada
1
star
50

litegraph_to_ada

An Ada library create and use graph on LiteGraph js
Ada
1
star
51

fsmaker

Command line tool to create embedded filesystem images
Ada
1
star
52

nrf5x-hal

Ada drivers and HAL implementation for the Nordic nrf5x micro-controller family
Ada
1
star
53

recordflux-example

Example for code for a RecordFlux blog post
Ada
1
star
54

Ada_SPARK_on_ESP32C3_Demo

Python
1
star
55

lvgl-ada-examples

Ada
1
star
56

setup-ada

GitHub action to setup an Ada/SPARK dev environment
TypeScript
1
star
57

device_configs

Script generated Alire crates that provide device configuration for many micro-controllers
Assembly
1
star
58

cortex-m

Ada drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC, SysTick, etc.)
Ada
1
star