Skip to content
View krig's full-sized avatar
🏠
Working from home
🏠
Working from home

Sponsoring

@hayleigh-dot-dev
@giacomocavalieri
@gleam-lang

Organizations

@ohminteractive

Block or report krig

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

Creusot helps you prove your Rust code is correct.

Rust 1,769 78 Updated Jun 13, 2026

A post-modern modal text editor.

Rust 44,865 3,544 Updated Jun 12, 2026

TRUST – Coding Rust like it's 1989

Rust 242 6 Updated May 27, 2026

hypertext markup functions

Rust 2 Updated Apr 28, 2026

Aporetic fonts are a custom build of Iosevka with different style and metrics than the default. This is the successor to my "Iosevka Comfy" fonts.

308 6 Updated May 31, 2025

🌒 Nord for Neovim, but warmer and darker. Supports a variety of plugins and other platforms.

Lua 1,022 70 Updated May 3, 2026

DeepWhite colorscheme for Neovim.

Lua 179 15 Updated Jun 11, 2026

GPUI – Community Edition

Rust 655 65 Updated Jun 10, 2026

A Fork of GPUI CE rewritten to use WGPU!

Rust 40 9 Updated Jun 9, 2026

Snapshotable WebAssembly interpreter from scratch. Includes a time travel debugger

Rust 233 4 Updated Jun 5, 2026

Rhai - An embedded scripting language for Rust.

Rust 5,433 238 Updated May 31, 2026

The miniature, embeddable R7RS Scheme implementation

Rust 131 3 Updated Jun 13, 2026

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 85,125 9,059 Updated Jun 13, 2026

🧚 A practical web framework for Gleam

Gleam 1,439 71 Updated Jun 4, 2026

A Gleam framework for building static blogs with Lustre and Markdown or Djot. Generates HTML pages, RSS/Atom feeds, sitemaps, and robots.txt from markdown files with frontmatter, with multilingual …

Gleam 91 4 Updated Jun 7, 2026

Making service expectation declaration easier.

Gleam 36 Updated Jun 8, 2026

🐦‍⬛ Snapshot testing in Gleam

Gleam 199 15 Updated May 3, 2026

Weighs the soul of incoming HTTP requests to stop AI crawlers

Go 19,907 623 Updated Jun 11, 2026

UN-escaping HTML

Erlang 2 Updated May 24, 2025

💯 A collection of Gleam libraries, projects, and resources

Gleam 1,989 114 Updated May 26, 2026

(Codeberg mirror) The statically-typed, compiled embedded scripting language for Rust, used by Rotonda.

Rust 537 24 Updated Jun 12, 2026

A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨

Go 5,222 164 Updated Jun 12, 2026

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

Gleam 2,328 141 Updated Jun 6, 2026

Peer-to-peer, editor-agnostic collaborative editing of local text files.

Rust 1,834 47 Updated Jun 11, 2026

Inspect into the depths of your .git folder purely from Zig

Zig 11 Updated Jun 13, 2026

Efficient Gleam representation for IP addresses

Gleam 2 Updated Dec 5, 2025

Gleam Library to generate QBE IR code

Gleam 22 1 Updated Jun 1, 2026

A background job library for Gleam and Postgres!

Gleam 34 1 Updated Jan 1, 2026

MacOS launcher & command palette

TypeScript 2,953 163 Updated May 24, 2026
Next