charlie5/laceOS charlie5/laceOS

  • Stars
    star
    9
  • Rank 1,927,989 (Top 39 %)
  • Language
    HTML
  • License
    ISC License
  • Created about 2 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
charlie5/laceOS
github

charlie5

Reviews

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

Repository Details

An Archlinux operating system tailored for developing software in the Ada and SPARK languages.

More Repositories

1

lace-prototype-deprecated

A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Ada
13
star
2

aShell

A component to aid in writing shell-like applications in Ada.
Ada
13
star
3

swig4ada

Provides a SWIG module to generate Ada bindings.
C++
10
star
4

cBound

Provides thin Ada bindings (built via Swig) to a collection of C/C++ libraries.
Ada
5
star
5

archlinux-gnatstudio-support

Shell
3
star
6

Ada_Box2d

An Ada port of the Box2d physics engine.
Ada
3
star
7

Ada_Script_Language

A simple scripting language based on Ada.
Ada
2
star
8

aIDE

A widget-based Ada IDE.
Ada
2
star
9

lace

A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Ada
1
star
10

lace-alire

An Alire enabled set of Ada components to allow 3D simulations, games and GUI's in Ada.
Ada
1
star
11

dynamic_distributed_computing

Provides a demo of DDC using Ada's Distributed Systems Annex (DSA).
Ada
1
star
12

apr_remotes

1
star
13

belters

A space simulation game set in the Sol system.
1
star