Simple C mock generator with Racket bindings

A verified library of synchronization primitives and concurrent data structures

QEMU micro-op interpreter, like a small virtual machine, interpret from an initial memory dump and CPU registers dump.

Two parts: (1) Continuous TCG micro-operation logging functionality of QEMU. (2) VM-basd Browser/Application Introspection Gadgets, based on QEMU. For more information, please see README.

This program procedurally generates gas giant cubemap textures for the game Space Nerds In Space. https://www.patreon.com/smcameron

Multi-player spaceship bridge simulator game. Captain your starship through adventures with your friends. See https://smcameron.github.io/space-nerds-in-space

Protothread library that supports multiple cores (processors)

A module for lua to use PAM.

Python client for Perforce Helix Swarm

Application Binary Interface for the Arm® Architecture

Плагин для работы с музыкальным сервисом Яндекс.Музыка в Rhythmbox

Outliner for taking notes and managing to-do lists

My configuration files of emacs.

Ncurses UI for QEMU

CLI keyboard layout switcher for Gnome Shell

Firmware Framework for A Architecture Compliance Suite

Library for Arduino primitives in type-safe manner

A simple Idris program to blink the LED on an Arduino

An OS written in Idris (eventually...)

GnuCash Double-Entry Accounting Program.

simavr is a lean, mean and hackable AVR simulator for linux & OSX

ARMv7M ELF loader

STM32 HAL-based library for SDHC/SDXC-cards

Small module based vfs library in c

openambit

A testing micro framework for creating function test doubles

Toolchains and host utils for building and programming Atmel AVR with Bazel