Explore projects

Implementation of RFC 9202 with optional c3dc extensions

A basic SAT solver.

The Mango Virtual Machine, forked from https://github.com/ektrah/mango

The Wren Programming Language http://wren.io

Wee example for GUI programming in Haskell.

Run your own internet services https://freedombone.net

Dockerfile for the Maja Machine Learning Framework.

A CoAP-Implementation in C

Dockerfile for pandoc and python to be used with filters and build pdfs.

This is a demonstration of a tracking container for c++.

Simulation part of SATFON