Fabien-Chouteau/Ada_SPARK_on_ESP32C3_Demo Fabien-Chouteau/Ada_SPARK_on_ESP32C3_Demo

  • Stars
    star
    1
  • Language
    Python
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Fabien-Chouteau/Ada_SPARK_on_ESP32C3_Demo
github

Fabien-Chouteau

Reviews

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

Repository Details

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

adventofcode-ada

Solutions to the adventofcode.com puzzles implemented in Ada
Ada
3
star
30

AGATE

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

atomic

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

hal

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

lvgl-ada-simulator

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

chipmunk2D-ada

Ada bindings for the Chipmunk2D physics engine
Ada
2
star
35

motherlode

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

flux

Experimental data stream library for Ada
Ada
2
star
37

ada-axidraw

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

samd51-hal

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

MIDI_signal_flow

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

MCU-knowledge-database

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

zfp-hifive1

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

pygamer-simulator

SDL simulator of the AdaFruit PyGamer
Ada
1
star
43

suika-programing

Suika game clone with programing languages
Ada
1
star
44

kabitbol

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

embedded-components

Platform agnostic drivers to interface external components
Ada
1
star
46

rtmidi_ada

Ada binding for the rtMIDI library
Ada
1
star
47

pygamer_usb_gamepad

Turn your PyGamer into a USB gamepad
Assembly
1
star
48

ARM_formatter

CartoCSS
1
star
49

field-programmable-game-console

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

GESTE-examples

Examples for the GESTE game engine
Ada
1
star
51

litegraph_to_ada

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

fsmaker

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

nrf5x-hal

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

recordflux-example

Example for code for a RecordFlux blog post
Ada
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