Fabien-Chouteau/spark-railway-demo Fabien-Chouteau/spark-railway-demo

  • Stars
    star
    6
  • Rank 2,468,209 (Top 50 %)
  • Language
    Ada
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Fabien-Chouteau/spark-railway-demo
github

Fabien-Chouteau

Reviews

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

Repository Details

Simulated railway network in SPARK/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

Ada_Time

Ada binding for the Pebble Time smartwatch
Ada
17
star
7

GESTE

GEneric Sprite and Tile Engine
Ada
17
star
8

un_pola

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

Ada-PicoRV32-example

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

qoi-spark

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

noise-nugget

Square Inch Synthesizer
Ada
13
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

ada-voxel-space-demo

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

coffee-clock

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

lvgl-ada

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

Giza

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

VirtAPU

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

lpc_synth

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

littlefs-ada

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

task_coroutines

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

bare_runtime

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

solenoid-engine-controller

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

adverserial

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

AMCQ

Multiple Choice Questions candy dispenser
Ada
3
star
26

tiled-code-gen

Code generator for Tiled the map editor
Ada
3
star
27

adventofcode-ada

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

AGATE

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

atomic

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

hal

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

motherlode

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

lvgl-ada-simulator

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

flux

Experimental data stream library for Ada
Ada
2
star
34

ada-axidraw

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

samd51-hal

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

MIDI_signal_flow

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

MCU-knowledge-database

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

pygamer-simulator

SDL simulator of the AdaFruit PyGamer
Ada
1
star
39

zfp-hifive1

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

kabitbol

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

chipmunk2D-ada

Ada bindings for the Chipmunk2D physics engine
1
star
42

embedded-components

Platform agnostic drivers to interface external components
Ada
1
star
43

rtmidi_ada

Ada binding for the rtMIDI library
Ada
1
star
44

pygamer_usb_gamepad

Turn your PyGamer into a USB gamepad
Assembly
1
star
45

ARM_formatter

CartoCSS
1
star
46

field-programmable-game-console

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

GESTE-examples

Examples for the GESTE game engine
Ada
1
star
48

litegraph_to_ada

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

lvgl-ada-examples

Ada
1
star
50

fsmaker

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

nrf5x-hal

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

recordflux-example

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

Ada_SPARK_on_ESP32C3_Demo

Python
1
star
54

setup-ada

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

device_configs

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

cortex-m

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