Skip to content
View eholk's full-sized avatar

Sponsoring

@foosel

Highlights

  • Pro

Block or report eholk

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

Tools for finding and manipulating differences between files

Rust 119 37 Updated Apr 27, 2026
Rust 8 1 Updated Jan 10, 2024

Forum for discussion about what unsafe code can and can't do

742 64 Updated May 5, 2026

historical archive of rust pre-publication development

C 720 46 Updated Nov 29, 2024

A futures abstraction that runs a set of futures which may complete in any order.

Rust 92 7 Updated Oct 12, 2025

Experiments with structured concurrency in Rust

Rust 430 23 Updated Jul 24, 2024
Rust 17 6 Updated Apr 3, 2024
Rust 3 Updated Nov 26, 2025

Async fundamentals initiative: portable and interoperable

77 Updated Mar 2, 2023

A Gameboy Emulator in Rust

HTML 245 23 Updated Dec 16, 2024

Macros have types!

Rust 134 4 Updated Feb 25, 2026

Rust for Windows

Rust 12,414 628 Updated Jun 16, 2026

💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

JavaScript 17,623 1,002 Updated Jun 16, 2026

The Lobster Programming Language

C++ 2,726 141 Updated Jun 15, 2026

An interpreter for a concurrent lisp with message-passing and pattern-matching.

C 128 15 Updated Jun 11, 2026

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Scheme 167 23 Updated Apr 1, 2017

Prototype smart text editor

Scheme 1,081 30 Updated Feb 28, 2026

Proposal to add exception handling to WebAssembly

WebAssembly 171 37 Updated Mar 20, 2025

A formally verified compiler of untyped lambda calculus to brainfuck

Coq 16 2 Updated Aug 2, 2017

jot code of various flavors

Scheme 2 Updated Feb 5, 2017

A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

C++ 1,845 258 Updated Jun 4, 2026

An experimental compiler from Rust to WebAssembly (inactive - do not use)

Rust 213 13 Updated May 7, 2020

Chez Scheme

Scheme 7,289 1,016 Updated Jun 10, 2026

Open Source Continuous File Synchronization

Go 85,403 5,269 Updated Jun 16, 2026

A Rust Interface to the Linux sysfs GPIO interface (https://www.kernel.org/doc/Documentation/gpio/sysfs.txt)

Rust 397 47 Updated Feb 20, 2026

HamShield Arduino Library and Example Sketches

C++ 140 59 Updated Apr 19, 2021

Binning (Newick) Phylogenetic Trees by Topology

Haskell 10 4 Updated Mar 11, 2019

Tools for deduping file systems

C 988 97 Updated Oct 11, 2025

An Extensible, Concurrent Web Framework for Rust

Rust 6,113 394 Updated Jun 14, 2024

The bare metal stack for rust

Rust 1,003 99 Updated Jul 6, 2019
Next