faelys/gela-asis faelys/gela-asis

  • This repository has been archived on 15/Jun/2024
  • Stars
    star
    3
  • Rank 3,941,162 (Top 79 %)
  • Language
    Ada
  • License
    Other
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
faelys/gela-asis
github

faelys

Reviews

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

Repository Details

Platform/compiler independent implementation of Ada Semantic Interface Specification

More Repositories

1

libsoldout

Flexible C library for markdown parsing
C
63
star
2

pebble-health-export

Extract Pebble Health raw data and post it to a web server
C
53
star
3

filewatcherd

FreeBSD daemon that watches files and runs commands when they change
C
16
star
4

ddns

Lightweight UDP-based dynamic DNS updater
C
5
star
5

markup-ada

Ada library for parsing and rendering lightweight markup langages
Ada
5
star
6

battery-minus

Pebble activity tracker that records battery events
C
3
star
7

lithium3

CMS for my personal website
Ada
2
star
8

natools

Miscellaneous small utilities in Ada, gathered in one shared library
Ada
1
star
9

natools-web

Natools for the web
Ada
1
star
10

tabbed

Fork of suckless' tabbed with my personal patches
C
1
star
11

djot.erlang

Djot parser in Erlang
Erlang
1
star
12

simple-webapps

Simple web applications based on AWS
Ada
1
star
13

vision-test

Propose shape recognition exercises to test human vision
Ada
1
star
14

aoc-2021

My solutions in HLL to Advent of Code 2021
Shell
1
star
15

ada-syslog

Syslog message producer library in Ada
Ada
1
star
16

life-log

Pebble app to manually record events in a log
C
1
star
17

devkitarm-ada

Ada cross compiler for Nintendo DS
Ada
1
star