Skip to content
View gabcoh's full-sized avatar

Block or report gabcoh

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

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Rust 1,396 51 Updated Aug 5, 2026

egraphs + datalog!

Rust 813 112 Updated Aug 11, 2026

A collection of videos to showcase the magic alchemy of computation.

JavaScript 141 Updated Aug 19, 2024

Research language for array processing in the Haskell/ML family

Haskell 1,693 116 Updated Jan 5, 2026

Tensor library for machine learning

C++ 15,159 1,776 Updated Aug 12, 2026

LLM inference in C/C++

C++ 123,768 21,660 Updated Aug 13, 2026

a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.

Rust 301 Updated Jun 14, 2024

mold: A Modern Linker 🦠

C++ 16,765 540 Updated Aug 13, 2026

A minimalist HTTP server for Linux, written in x86_64 assembly

Assembly 209 21 Updated May 10, 2026

A list of AI coding tools (assistants, completions, refactoring, etc.)

1,695 188 Updated Feb 23, 2026

ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.

Python 9,503 687 Updated Jul 19, 2026

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Python 62,076 10,698 Updated Nov 12, 2025

Linux shell for iOS

C 20,305 1,477 Updated Jul 27, 2026

Offline Internet Archive project

JavaScript 328 34 Updated Feb 18, 2024

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

C++ 4,050 353 Updated Jul 27, 2026
Cuda 172 15 Updated Apr 20, 2021

Claim as many IPs as you can and become a block owner

HTML 27 Updated May 31, 2024

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

JavaScript 837 88 Updated Aug 11, 2026
Python 337 38 Updated Dec 20, 2022

NOTICE: kpatch is deprecated

C 1,693 343 Updated Jul 27, 2026

nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

JavaScript 2,956 405 Updated Aug 6, 2026

An experimental Nostr client focused on unlocking the full potential of multiple relays. Browse, filter, zap, and create custom feeds to create a curated Nostr experience.

Svelte 364 94 Updated Aug 4, 2026

a truly censorship-resistant alternative to Twitter that has a chance of working

11,923 411 Updated Jun 27, 2025

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

161 2 Updated Aug 30, 2023

Please note that the warc-indexer tool & code is now supported by NetArchiveSuite. The 'warc-indexer' directory and code that exists in this repo is now only for reference. For support and issues o…

Java 133 26 Updated Nov 21, 2025

tiniest x86-64-linux emulator

C 7,567 275 Updated Dec 10, 2025

Radicale storage backends for Remind and Abook

Python 46 5 Updated Oct 24, 2025

a small statically-linked linux system

Roff 3,096 95 Updated Jun 9, 2026

An unofficial Copilot plugin for Emacs.

Emacs Lisp 2,325 171 Updated Jul 7, 2026

Advent of Code Solutions

Brainfuck 2 Updated Dec 7, 2022
Next