Beast code in Giters

Chris's starred repositories

puml2code

PlantUML code generator

Language:JavaScriptMIT10000

TsUML

Generates UML diagrams from TypeScript source code

Language:TypeScriptMIT33900

tsviz

Typescript UML Visualizer

Language:TypeScriptISC19400

openMittsu

An open source implementation and desktop client of the Threema Messenger App.

Language:C++NOASSERTION17400

threema-msgapi-sdk-php

Gateway MsgApi SDK - PHP

Language:PHPNOASSERTION1200

RIOT-Xtensa-ESP

ESP8266 and ESP32 ports of RIOT-OS, for detailed information about RIOT-OS see

Language:CLGPL-2.11300

Courses

This repository contains course material published to the AdaCore University website

Language:Ada5300

learn

Sources for learn.adacore.com

Language:AdaCC-BY-4.09200

AdaSMU-AdaDriverLibrary

Language:Ada100

lox-spark

This is an implementation of Bob Nystrom's Lox language written in SPARK/Ada.

Language:AdaMIT600

spark-railway-demo

Simulated railway network in SPARK/Ada

Language:AdaGPL-3.0600

cubedos

A flight software framework in SPARK/Ada

Language:Ada4800

libsparkcrypto

A cryptographic library in SPARK 2014

Language:Ada2700

qemu-xtensa

Implementation of target-xtensa for QEMU.

Language:CNOASSERTION8300

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Language:AdaGPL-3.024400

pyelftools

Parsing ELF and DWARF in Python

Language:PythonNOASSERTION195300

GNAT4RPi

GNAT For Respberry Pi - Ravenscar edition

Language:Ada400

PH7

An Embedded Implementation of PHP (C Library)

Language:CNOASSERTION49200

esp8266-devkit

Unofficial Development Kit for Espressif ESP8266

Language:CGPL-3.026100

xtensa-toolchain-build

Xtensa toolchain building scripts

Language:Shell3900