Easy PDK programmer for PADAUK microcontroller

🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).

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 code is correct in an automated fashion.

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

A composable and fully extensible C++ execution engine library for data management systems.