agacek

jkind-paper

jpdr

Small project for learning PDR and Java 8

amazon-efs-user-guide

The open source version of the Amazon Elastic File System (EFS) User Guide. You can submit feedback & requests for changes by submitting issues in this repo or by making proposed changes & submitting a pull request.

aws-cdk

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

biphase

Specification and verification of a Biphase Mark decoder

camkes-tool

The main CAmkES tool

circles-sines-signals

A Compact Primer on Digital Signal Processing

clicky

Java/SWT version of Clicky

HRLoWorld

ivory

The Ivory EDSL

jkindRegression

jkind-benchmarks

kotlin-koans

Kotlin workshop

libplatsupport

OS independent basic driver library (mostly timers, serial, clocks)

manim

Animation engine for explanatory math videos

scala-cookbook

over-documented #scala code sample for beginner

seL4

The seL4 microkernel

sel4-tutorials

seL4_libs

seL4_tools

smaccm-dot

smaccmpilot-stm32f4

SMACCMPilot flight controller

tower-camkes-odroid

util_libs