Skip to content
View Alexis211's full-sized avatar

Block or report Alexis211

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

Copy of DreamOS written in R5RS Scheme by David Joseph Stith uploaded to Github from the Web Archive. I plan to use this as reference for a future project :)

Scheme 12 5 Updated Jul 26, 2021

Mirror of JONESFORTH

Assembly 1,122 158 Updated Apr 4, 2023

Open-source, self-hosted note-taking tool built for quick capture. Markdown-native, lightweight, and fully yours.

Go 60,908 4,479 Updated Jun 19, 2026

ublk: userspace block device driver

C++ 205 80 Updated Jun 7, 2026

Efficient state-based CRDT replication and anti-entropy

Rust 74 1 Updated Jan 17, 2026

WebDAV Drive is a file explorer running in a web browser that adds a Google-Drive-like experience to an existing WebDAV share

TypeScript 22 4 Updated May 15, 2026

An implementation of the Raft distributed consensus protocol using the Tokio framework.

Rust 1,094 85 Updated Feb 12, 2023

BASIC environment with a REPL, a web interface, a graphical console, and RPi support written in Rust

Rust 371 20 Updated Jun 18, 2026

A modern proof language

Haskell 3,752 150 Updated Jan 22, 2025

The Hedron Microhypervisor

C++ 83 8 Updated Oct 8, 2023

NOVA Microhypervisor

C++ 449 116 Updated Apr 30, 2026

A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

C++ 44 17 Updated Jun 30, 2021
C++ 33 7 Updated Apr 5, 2026

Rust implementation of everything from https://blog.joinmastodon.org/2018/06/how-to-implement-a-basic-activitypub-server/

Rust 17 Updated Nov 16, 2022

Soatok's Proposal for End-to-End Encryption in Mastodon

221 4 Updated Dec 29, 2025

Rust implementation of the Messaging Layer Security (MLS) protocol

Rust 962 160 Updated Jun 19, 2026

NixOS MicroVMs

Nix 2,664 210 Updated Jun 17, 2026

LLM inference in C/C++

C++ 117,257 19,720 Updated Jun 19, 2026

Port of OpenAI's Whisper model in C/C++

C++ 50,852 5,676 Updated Jun 19, 2026

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

Rust 1,307 76 Updated Jun 3, 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,935 394 Updated Jun 16, 2026

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

Rust 3,987 149 Updated Jun 17, 2026

Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library

Rust 338 21 Updated Jun 6, 2026

HashiCorp Nomad LXC driver plugin

Go 31 17 Updated Apr 1, 2024

Issue Tracker for the main Talon app

89 Updated Jan 1, 2018

Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…

Go 16,616 2,104 Updated Jun 18, 2026

Example of developing and deploying services with Nix and Nomad

Nix 65 2 Updated Jul 15, 2022

Nix, the purely functional package manager

C++ 17,119 1,944 Updated Jun 19, 2026

Hydra, the Nix-based continuous build system [maintainers=@dasj,@Ericson2314]

PLpgSQL 1,503 346 Updated Jun 19, 2026
Next