pchapin

developer-roadmap

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

linux

Linux kernel source tree

julia

The Julia Programming Language

Arduino

Arduino IDE 1.x

fprime

F´ - A flight software and embedded systems framework

stellarium

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

breeze

Breeze is/was a numerical processing library for Scala.

DataFrame

C++ DataFrame for statistical, Financial, and ML analysis -- in modern C++ using native types and contiguous memory storage

ansicon

Process ANSI escape sequences for Windows console programs.

cFS

The Core Flight System (cFS)

specification

Ferrocene Language Specification

code-d

Fully featured D language extension for Visual Studio Code using Serve-D

asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems

nbscala

NetBeans Plugin for Scala

legate.core

The Foundation for All Legate Libraries

spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

aws

AWS is a complete framework to develop Web based applications in Ada.

nesc

Master nesc repository

acsl-by-example

Public snapshots of "ACSL by Example"

CCDD

CFS Command and Data Dictionary Tool (CCDDT)

ifc-spec

IFC format specification

adamant

A model-based flight software framework for Ada

Certyflie

AdaForMicrocontrollers

Ada For Microcontrollers (GPL)

ada-fuse

Ada-Bindings for FUSE

ada-intellij

an Ada language plugin for intellij

spark_examples

Various examples of SPARK2014 code

ada_antlr_grammar

ANTLR grammars for Ada

gela-asis

Platform/compiler independent implementation of Ada Semantic Interface Specification

DASA

Voice & Web Control System for project codename DASA.