Cleans dependencies and build artifacts from your projects.

(Deprecated) SMAUG reference code (public release)

Easy PDK programmer for PADAUK microcontroller

Open source observability platform for logs, metrics, traces, frontend monitoring, pipelines and LLM observability. A sophisticated, simple and highly performant alternative to Datadog, Splunk, and…

ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill

New to Coding, here I have curated a list of Best Coding Resources for you specially for Web Developers

Generate very smol PNGs that are bigger on the inside.

egraphs + datalog!

Descent 3 by Outrage Entertainment

live sync audio streaming for local networks

Scheme Scripting Engine

A wee async RTOS for Cortex-M

Datalog based rules engine

A flexible graph store, written in Clojure

🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

A multi-threaded job scheduler in Rust.

A framework for Resource Dependent EDSLs in a Dependently Typed Language.

build APKs from source code

GRIN backend for Idris2

A simple timeseries database

Rust rewrite of breakpad's minidump_writer

Test harness for ui tests of compiler diagnostics

Creusot helps you prove your Rust code is correct.

Newtype, Generic Interface Deriving

A feature-rich command-line audio/video downloader

Lunatic is an Erlang-inspired runtime for WebAssembly

being an operating system for typechecking processes

Program your microcontrollers in a fast and robust high-level language.

A TOML parser for Idris 2