-
Remote Technology
- Kobe
- https://codepr.github.io
Starred repositories
Small, fast, modern HTTP server for Erlang/OTP.
Fun-driven Raft-based distributed time series database, featuring sharding with consistent hashing, an SQL-like query language
A simple and easy-to-use library to enjoy videogames programming
A curated list of data oriented design resources.
View HTTP/HTTPS requests made by any Linux program
π» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
βοΈ A friendly language for building type-safe, scalable systems!
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
Create Neovim themes with real-time feedback, export anywhere.
The financial transactions database designed for mission critical safety and performance.
Single-file public domain libraries for C/C++
Run compilers interactively from your web browser and interact with the assembly
Lexical is a next-generation elixir language server
A launch point for your personal nvim configuration
π Learn to write an embedded OS in Rust π¦
Safe Rust bridge for creating Erlang NIF functions
Search your git history by commit message, content and author in Neovim
π A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.
Catalog of Elixir-specific code smells
Mix tasks to simplify use of Dialyzer in Elixir projects.
An implementation of a small TCP/IP protocol stack for learning.
Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs





