Skip to content
View hehehenri's full-sized avatar
:shipit:
:shipit:

Organizations

@duplicateduuid

Block or report hehehenri

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

Starred repositories

Showing results

OCaml CRUD Todo App using Melange with JWT auth

Reason 20 Updated Jan 30, 2025

Single-decree Paxos with deterministic simulation testing

Rust 2 Updated Dec 6, 2024

🌱 | A simple compiler that aims to compile.

OCaml 8 1 Updated Mar 16, 2025

🌊 A free REST API for random Kanye West quotes (Kanye as a Service)

TypeScript 909 96 Updated Jul 20, 2024

Subway Surfers gameplay right inside of your favorite editor

Lua 53 Updated Feb 13, 2024

A fast Golang Valkey client that supports Client Side Caching and Auto Pipelining.

Go 253 18 Updated Mar 16, 2025

Pure and reproducible nix overlay of binary distributed rust toolchains

Nix 1,067 64 Updated Mar 17, 2025

A graphical display window manager in neovim

Lua 326 5 Updated Jun 19, 2024

A completion plugin for neovim coded in Lua.

Lua 8,598 410 Updated Mar 14, 2025

A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

C 19,502 747 Updated Mar 16, 2025

Banoffee is a social networking platform tailored for avid readers and knowledge seekers.

Svelte 12 Updated Jun 20, 2024

⭐️ A friendly language for building type-safe, scalable systems!

Rust 18,963 807 Updated Mar 17, 2025

React-like clojurescript library

Clojure 2 Updated Mar 11, 2024

An archaic system of storing sound-recordings.

Rust 2 Updated Mar 10, 2024

An easy and powerful Rust HTTP Client

Rust 10,390 1,196 Updated Mar 16, 2025
TypeScript 4 6 Updated Mar 18, 2024

Kani Rust Verifier

Rust 2,425 107 Updated Mar 17, 2025

A library for building fast, reliable and evolvable network services.

Rust 23,522 1,326 Updated Mar 15, 2025

Distributed consensus algorithm

Haskell 8 Updated Feb 22, 2024

A configuration as code language with rich validation and tooling.

Java 10,540 298 Updated Mar 12, 2025

Vesktop is a custom Discord App aiming to give you better performance and improve linux support

TypeScript 5,286 240 Updated Mar 6, 2025

z - jump around

Shell 16,569 1,171 Updated Jun 19, 2024

🪄 Magical GraphQL query engine for TypeScript

TypeScript 2,723 51 Updated Feb 3, 2025

An actor-model multi-core scheduler for OCaml 5 🐫

OCaml 610 39 Updated Nov 13, 2024

Web library for OCaml with support for HTTP/1.X / HTTP/2

OCaml 204 25 Updated Jan 6, 2025
OCaml 5 Updated Dec 28, 2023

Just a simple WS server with Go

Go 4 Updated Oct 11, 2023

An efficient, secure cryptocomputer

Rust 616 39 Updated Nov 25, 2023
Next