Skip to content
View jjl's full-sized avatar

Organizations

@irresponsible

Block or report jjl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

(Deprecated) SMAUG reference code (public release)

C 11 3 Updated Jan 30, 2026

Easy PDK programmer for PADAUK microcontroller

C 127 40 Updated Dec 22, 2024

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…

TypeScript 19,376 861 Updated Jun 19, 2026

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

C 58 4 Updated Aug 14, 2024

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

29 5 Updated Nov 25, 2023

Generate very smol PNGs that are bigger on the inside.

Rust 47 2 Updated Jul 14, 2019

egraphs + datalog!

Rust 774 103 Updated Jun 17, 2026

Descent 3 by Outrage Entertainment

C++ 2,996 281 Updated Jan 21, 2026

live sync audio streaming for local networks

Rust 690 14 Updated May 15, 2026

Scheme Scripting Engine

Scheme 898 87 Updated Jun 18, 2026

A wee async RTOS for Cortex-M

Rust 826 45 Updated May 18, 2026

Datalog based rules engine

Clojure 385 20 Updated Mar 14, 2022

A flexible graph store, written in Clojure

Clojure 358 10 Updated Sep 26, 2024

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

Rust 21,256 616 Updated Jun 12, 2026

A multi-threaded job scheduler in Rust.

Rust 16 1 Updated Mar 14, 2026

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

Idris 4 Updated Apr 16, 2020

build APKs from source code

Go 604 172 Updated Jun 17, 2026

GRIN backend for Idris2

Idris 33 3 Updated Jul 3, 2022

A simple timeseries database

Rust 278 22 Updated Sep 19, 2025

Rust rewrite of breakpad's minidump_writer

Rust 87 26 Updated Jun 11, 2026

Test harness for ui tests of compiler diagnostics

Rust 970 81 Updated Mar 25, 2026

Creusot helps you prove your Rust code is correct.

Rust 1,776 79 Updated Jun 19, 2026

Newtype, Generic Interface Deriving

Idris 7 Updated Dec 6, 2022

A feature-rich command-line audio/video downloader

Python 171,779 14,483 Updated Jun 18, 2026

Lunatic is an Erlang-inspired runtime for WebAssembly

Rust 4,867 147 Updated Mar 29, 2025

being an operating system for typechecking processes

Haskell 133 2 Updated Oct 7, 2025

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

Toit 1,347 90 Updated Jun 13, 2026

A TOML parser for Idris 2

Idris 17 4 Updated Jun 27, 2024

Beginnings of a Postgres client for Idris 2

Idris 18 4 Updated Dec 9, 2025
Next