Skip to content
View dacto's full-sized avatar

Block or report dacto

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
Showing results

Strict markdown processor for writers

Haskell 116 21 Updated May 1, 2026

Commonly useful extensions for the MMark markdown processor

Haskell 12 3 Updated Apr 20, 2026

Koka language compiler and interpreter

Koka 3,931 207 Updated Jun 13, 2026

A superset of Lua 5.5 with a focus on general-purpose programming.

C++ 682 40 Updated Jun 9, 2026

Systems language with linear types and capability-based security.

OCaml 1,530 59 Updated Jul 28, 2025

A Pro Micro alternative for wireless keyboards

HTML 1,821 145 Updated Aug 4, 2025

A macro pad with 16 keys, two rotary encoders, a four port USB hub, and plenty of LEDs!

HTML 386 45 Updated Jun 26, 2021

Bash (+sox) script to conditionally batch-optimize .wav files in-place, to minimize SD card I/O on the Dirtywave M8

Shell 54 6 Updated Feb 26, 2024

🎮 · Jazz² Resurrection: Native C++ reimplementation of Jazz Jackrabbit 2

C++ 683 54 Updated Jun 14, 2026

jq for binary formats - tool, language and decoders for working with binary and text formats

Go 10,521 248 Updated Jun 10, 2026

Basic //build directory for use with Chromium's GN

Python 135 74 Updated Jan 14, 2025

These are policy-driven snapshot management and replication tools which use OpenZFS for underlying next-gen storage. (Btrfs support plans are shelved unless and until btrfs becomes reliable.)

Perl 3,784 344 Updated Jun 5, 2026

Esoteric Programming Language

JavaScript 5,011 248 Updated Nov 16, 2025

A new bootable USB solution.

C 77,211 4,826 Updated May 7, 2026

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 11,248 623 Updated Jun 14, 2026

[MIRROR] ELF related utils for ELF 32/64 binaries that can check files for security relevant properties

C 108 28 Updated Feb 18, 2026

ldd as a tree

C 2,767 63 Updated Jun 21, 2024

A structural editor for JSON values

Haskell 77 5 Updated Oct 3, 2022

🍰🔪 Architecture of Haskell backend applications

Haskell 137 6 Updated Jan 11, 2023

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Rust 2,339 254 Updated Jun 9, 2026

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Rust 3,540 228 Updated Jun 12, 2026

Standalone Steam Controller Driver

Python 847 62 Updated Nov 13, 2024

Experimental file copy tool using io_uring

C 223 7 Updated May 21, 2021

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Common Lisp 1,689 102 Updated May 14, 2026

A fast CSV command line toolkit written in Rust.

Rust 10,750 327 Updated Apr 24, 2025

q - Run SQL directly on delimited files and multi-file sqlite databases

Python 10,353 424 Updated Feb 6, 2026

🕵️ Haskell STatic ANalyser

Haskell 593 58 Updated Jun 6, 2026

Final project for EECS 368 written in Haskell

Haskell 23 Updated May 21, 2021

A collection of software installations scripts for Windows systems that allows you to easily setup and maintain a reverse engineering environment on a VM.

PowerShell 8,758 1,088 Updated Apr 28, 2026

Yet another RPKI validator

Haskell 21 9 Updated Jun 13, 2026
Next