A minimal quadrotor autonomy framework in Rust (Mac, Linux, Windows)

Awesome resources for learning control theory

Rune is a programming language developed to test ideas for improving security and efficiency.

Coroutines for C.

💡💡 An Android boilerplate project with: Kotlin, MVVM, Room, Dagger2, RxJava, Retrofit and more.

A data web service, lightning talk.

Project with various common components, to reduce "project setup" operations

📖 A collection of pure bash alternatives to external processes.

Critbit trees in C

AI that learns to play the game Flappy Bird.

The WIP book for CPSC 411

Techniques and numbers for estimating system's performance from first-principles

The financial transactions database designed for mission critical safety and performance.

RRB-tree implemented as a library in C.

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

A small, simple embedded operating system and framework, in C

An implementation of differential dataflow using timely dataflow on Rust.

A dynamic language and bytecode vm

Differential dataflow for mere mortals

Awesome datalog libraries, tools and resources

An interpreted relational query language that compiles to SQL.

iMatix GSL code generator

A stream-based runtime-verification framework for generating hard real-time C code.

The Ivory EDSL

A curated list of awesome dhall-lang

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

Proxy based on netty & kotlin coroutines

Store your data in others DNS resolver cache

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.