AMCQ
Multiple choice quiz dispenser
An Ada implementation of a multiple-choice questions candy dispenser system
Multiple Choice Questions candy dispenser
3 stars
3 watching
1 forks
Language: Ada
last commit: about 8 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| fabien-chouteau/un_pola | A DIY instant camera with OpenMV and AdaFruit's thermal printer | 16 |
| fabien-chouteau/microbit_examples | Collection of Ada examples and tutorials for the BBC micro:bit | 0 |
| fabien-chouteau/acnc | An Ada-based system for parsing and controlling CNC machines | 63 |
| fabien-chouteau/ada_time | An Ada binding for a smartwatch platform. | 18 |
| fabien-chouteau/coffee-clock | An Ada-based project to control an espresso machine using an STM32F469 board and display the clock face on a screen. | 7 |
| fabien-chouteau/solenoid-engine-controller | A software controller for managing the operation of solenoid engines. | 5 |
| fabien-chouteau/giza | A simple widget toolkit designed to facilitate the creation of user interfaces for embedded platforms | 7 |
 futurulus/wiinaq | A dictionary web application with automatically generated tables and enhanced search capabilities. | 2 |
| fabien-chouteau/noise-nugget | An Ada-based digital synthesizer with various audio effects and connectivity options for a compact, feature-rich music widget | 16 |
 affeldt-aist/monae | A Coq library for formalizing and reasoning about monads with equational logic | 68 |
 julienbacquart/micropython-max7219 | A Micropython library for controlling 8-digit 7-segment displays based on the MAX7219 | 4 |
 meithecatte/busycoq | A project providing verified implementations of Busy Beaver deciders using Coq proof and verification. | 39 |
| fabien-chouteau/eagle-lander | A simulator of an Apollo 11 lunar lander's descent and landing phases. | 31 |
 zertovitch/mathpaqs | A collection of reusable mathematical components in Ada | 11 |
 persan/mosquitto-ada | Bindings for an MQTT broker to enable communication between Ada programs and MQTT-based systems | 6 |