(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

Beginnings of a Postgres client for Idris 2