CRUX ports for Arduino related stuff.

CRUX's portdb command line client

Personal CRUX ports

CRUX-ARM ports overlay for RaspberryPi 2

One way synchronization over HTTP(s)

My personal Crux Linux repository. This ports tree does not contain binaries. You have to compile it yourself using the pkgmk command.

Get CrUX data of for any webpage, origin or list of pages quickly

The repo for everything covered in the cruX: Introduction to Programming workshop

CRUX-ARM ports overlay for WonderMedia WM8505

CRUX-ARM ports overlay for Cubieboard

CRUX-ARM ports overlay for Genesi EfikaMX

CRUX-ARM ports overlay for Cubox

i686 Ports overlay for CRUX

CRUX-ARM Toolchain using the "new" ABI (EABI), supported on armv4t and higher

Compiler for crux language ( a subset of c/c++ ) written in python as part of course project in CS335(Compiler Design)

Crux ports collection

A Crux library that allows you to pipe verified Corda transactions into a Crux node, to then query using Crux’s bitemporal Datalog query engine.

This repository contains my ports for the CRUX Linux distribution.

Crux techday resources

The repo for the Crux Website