Skip to content
View rdck's full-sized avatar

Organizations

@antithesishq

Block or report rdck

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Universal property-based testing server, built on Hypothesis

Python 4 2 Updated Mar 19, 2026

Property-based testing for Rust, built on Hypothesis

Rust 4 1 Updated Mar 23, 2026

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,851 179 Updated Mar 23, 2026

Csmith, a random generator of C programs

C++ 1,168 168 Updated Mar 2, 2026

A detour through the Linux dynamic linker

C 529 15 Updated Jul 13, 2025

Virtual modular synthesizer plugin

C++ 2,971 196 Updated Mar 7, 2026

A text editor in less than 1000 LOC with syntax highlight and search.

C 8,807 943 Updated Jan 4, 2025

a convergence of ideas. read-only fossil export

C 7 Updated Apr 12, 2025

A minimalist game framework in the style of the "game engine" we use at Zachtronics.

C# 171 23 Updated Nov 26, 2022

The CompCert formally-verified C compiler

Rocq Prover 2,130 249 Updated Mar 20, 2026

The MaPLe compiler: efficient and scalable parallel functional programming

Standard ML 420 28 Updated Mar 18, 2026

Live Functional Programming for the Web

TypeScript 14 Updated Nov 18, 2025

Fir programming language

Rust 97 5 Updated Mar 23, 2026

The best C-like language that can be implemented in 10kLOC.

Python 688 19 Updated Mar 7, 2026

C in four functions

C 10,585 1,490 Updated Dec 26, 2023

Open Source HTML5 Puzzle Game Engine

JavaScript 1,044 174 Updated Mar 13, 2026

single header libraries for C/C++

C 1,401 103 Updated Mar 19, 2025

Standalone C compiler/assembler/linker/libc for x86-64/aarch64/riscv64/wasm

C 455 35 Updated Mar 21, 2026

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

C++ 934 49 Updated Oct 15, 2025

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

C 280 32 Updated Mar 6, 2026

A Compiler Writing Journey

C 12,838 1,175 Updated Sep 24, 2025

miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz

C++ 2,692 398 Updated Feb 13, 2026

Knowledge base for software engineers and research engineers

Java 1,163 148 Updated Mar 21, 2026

Stack trace visualizer

Perl 19,376 2,091 Updated Oct 20, 2024

A Modern C11 compiler (STILL EARLY)

C 1,245 46 Updated Mar 15, 2026

A collection of highly portable audio DSP algorithms, written in ANSI C using literate programming.

C 142 5 Updated Jan 23, 2025

B compiler

Assembly 85 5 Updated Jan 9, 2026

Pure functional programming with whole-program mutability inference

Rust 81 3 Updated Feb 18, 2026

Reference implementation for Writing a C Compiler

OCaml 229 31 Updated Feb 12, 2025

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

9,700 687 Updated May 26, 2024
Next