Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Differentiable Finite Element Method with JAX

Additive manufacturing simulation with JAX.

Common Expression Language interpreter written in Rust

An embedded scheme interpreter in Rust

Structured Text Generation

My fedora silverblue variant

ROS wrapper for the galaxy camera by Daheng Imaging

A toolkit for developing and comparing reinforcement learning algorithms.

Publication-quality data representation library based on Matplotlib.

Modern embedded framework, using Rust and async.

NVIDIA Linux open GPU kernel module source

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

Easily display interactive 3D models on the web and in AR!

Export your OneNote note collection to Obsidian, Logseq, Org Mode or any other plain text note-taking app!

Empowering everyone to build reliable and efficient software.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

STM32Cube MCU Full Package for the STM32L4 series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on all boards provided by ST (Nucleo, Evaluation and Dis…

minimal Zig embedded ARM example (STM32F103 blue pill)

Petition to open source Flash and Shockwave spec