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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

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 11 4 Updated Jul 26, 2021

Mirror of JONESFORTH

Assembly 1,020 142 Updated Apr 4, 2023

An open-source, lightweight note-taking solution. The pain-less way to create your meaningful notes. Your Notes, Your Way.

Go 35,271 2,541 Updated Dec 20, 2024

ublk: userspace block device driver

C++ 151 55 Updated Dec 18, 2024

Efficient state-based CRDT replication and anti-entropy

Rust 59 Updated Nov 22, 2024

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

TypeScript 17 4 Updated Oct 7, 2024

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

Rust 1,043 83 Updated Feb 12, 2023

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

Rust 320 15 Updated Dec 21, 2024

A modern proof language

Haskell 3,594 142 Updated Dec 9, 2024

The Hedron Microhypervisor

C++ 75 7 Updated Oct 8, 2023

NOVA Microhypervisor

C++ 382 106 Updated Nov 5, 2024

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

C++ 41 18 Updated Jun 30, 2021
C++ 21 4 Updated Sep 13, 2023

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

209 4 Updated Jan 30, 2023

Rust implementation of the Messaging Layer Security (MLS) protocol

Rust 664 80 Updated Dec 20, 2024

NixOS MicroVMs

Nix 1,479 109 Updated Dec 12, 2024

LLM inference in C/C++

C++ 69,630 10,048 Updated Dec 23, 2024

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

C++ 36,478 3,735 Updated Dec 22, 2024

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

Rust 890 51 Updated Jul 17, 2024

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

2,628 320 Updated Dec 17, 2024

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

Rust 628 36 Updated Dec 1, 2024

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

Rust 295 15 Updated Dec 8, 2024

HashiCorp Nomad LXC driver plugin

Go 31 19 Updated Apr 1, 2024

Issue Tracker for the main Talon app

85 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 15,049 1,961 Updated Dec 22, 2024

Example of developing and deploying services with Nix and Nomad

Nix 60 2 Updated Jul 15, 2022

Nix, the purely functional package manager

C++ 13,102 1,548 Updated Dec 20, 2024

Hydra, the Nix-based continuous build system

Perl 1,214 310 Updated Dec 11, 2024
Next