Skip to content
View frozolotl's full-sized avatar

Block or report frozolotl

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

Undo/Redo in Rust using deltas, snapshots or commands with convenience implementations for many standard and third-party types.

Rust 115 2 Updated Jun 15, 2026

A Lean 4 plugin for Helix.

Rust 3 Updated Feb 13, 2026

A very fast linker for Linux

Rust 3,680 121 Updated Jun 19, 2026

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 37,148 3,677 Updated Jun 19, 2026

A language and integrated environment for modelling and solving mixed integer linear optimization problems

Rust 63 2 Updated Jun 7, 2026

LR(1) and LALR parsing tools app to learn compilers and language theory

Svelte 27 1 Updated Nov 17, 2024

A scrollable-tiling Wayland compositor.

Rust 25,339 950 Updated Jun 18, 2026

A discord bot to render Typst code

Rust 104 23 Updated Jun 15, 2026

A tree-sitter grammar for the typst typesetting language with a focus on correctness

C 77 3 Updated Jan 29, 2024

A markup-based typesetting system that is powerful and easy to learn.

Rust 54,400 1,610 Updated Jun 16, 2026

A post-modern modal text editor.

Rust 44,951 3,558 Updated Jun 18, 2026

A Firefox extension that adds DuckDuckGo-like !Bangs to any search engine & more.

TypeScript 37 3 Updated Oct 23, 2024

A java bytecode decoding and encoding library written in rust. Mirror of https://gitlab.com/frozo/noak

Rust 46 2 Updated Jun 14, 2024

Empowering everyone to build reliable and efficient software.

Rust 113,987 14,997 Updated Jun 19, 2026