Concurrent decision diagram framework written in Rust

Experience macOS just like before

QT based cross platform canbus tool

Self-hosted traffic management and network operations platform for ISPs. Use CAKE and fq_codel to reduce bufferbloat, enforce bandwidth plans, and troubleshoot congestion with topology-aware subscr…

Datasets, code and virtual workspace for the Climate Change ATLAS

GFDL's Flexible Modeling System

The Elegant Parser

Learning Cryptography, math and programming with Cryptol (and maybe some Python)

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

OpenSCAD - The Programmers Solid 3D CAD Modeller

A transparent, highly scalable and cryptographically verifiable data store.

Sage code for a master thesis

Supersingular Isogeny Diffie-Hellman in Rust

OpenZeppelin Contracts is a library for secure smart contract development.

Platform-Agnostic Security Tokens

Flight rules for git

Finite state machine class generator for java, exports graphml, supports immutability!

LICEcap simple animated screen capture tool for Windows and OS X

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Official ROS packages for DJI onboard SDK.

Sample to get keycloak token from console application

Trivially Up a cluster of applications (such as a Kafka cluster!)

An Erlang library application which implements the Raft consensus protocol

Asynchronous streaming communication for Clojure - web server, web client, and raw TCP/UDP

A cryptography book for kids

Clean-code version of the baseflight flight controller firmware