jquorning

jquorning's Stars

• ghdl/ghdl

  VHDL 2008/93/87 simulator

  Language:VHDL2.4k1012.2k366

• alire-project/alire

  Command-line tool from the Alire project and supporting library

  Language:Ada2922376951

• ada-game-framework/sdlada

  Ada 2022 bindings to SDL 2

  Language:Ada118144837

• Componolit/libsparkcrypto

  A cryptographic library in SPARK 2014

  Language:Ada279153

• samueltardieu/aforth

  Embeddable Forth interpreter written in Ada

  Language:Ada23503

• Ada-Audio/audio_wavefiles

  Ada Wavefile Library

  Language:Ada17731

• rtyler/ironsides

  Fork of the SPARK-based DNS server

  Language:Ada82

• pvrego/dogrobot

  DogRobot : A Home C4ISR System

  Language:Ada73141

• samueltardieu/areadline

  Ada interface to the readline library

  Language:Ada7301

• mcejp/IRONSIDES

  Mirror of Ironsides DNS Server in Ada SPARK

  Language:Ada6200

• sarnold/generic-adt

  Ada generic packages for some useful ADTs (list, stack, queue, bst) with test drivers and few other examples

  Language:Ada32

• VHDL-Coding/GHDL

  Not updated. Use - https://github.com/hanzer/gVHDL instead.

  Language:VHDL21

• jybateman/snake

  A simple snake game using ncurses written in Ada

  Language:Ada1200

• sarnold/c2ada

  Language:C1