Skip to content
View cherryblossom000's full-sized avatar

Highlights

  • Pro

Organizations

@MonashAPS

Block or report cherryblossom000

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

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

OCaml 226 19 Updated Nov 21, 2024

The CSV magician

Rust 413 13 Updated Feb 26, 2025

A blazing fast and easy to configure neovim statusline plugin written in pure lua.

Lua 6,642 484 Updated Feb 8, 2025

A library for building dynamic webapps, using Js_of_ocaml

OCaml 9 2 Updated Nov 21, 2024

Opam repository for the development version of Jane Street packages

120 17 Updated Dec 10, 2024

A library for building dynamic webapps, using Js_of_ocaml

OCaml 542 40 Updated Nov 21, 2024

The Discord music status that works with any media player

C++ 516 7 Updated Feb 22, 2025

like tee but with emojis 🍵

Swift 191 2 Updated Feb 26, 2025

Natural Number Game

Lean 148 39 Updated Feb 17, 2025

A yabai, AeroSpace or FlashSpace status bar widget for Übersicht

JavaScript 1,279 132 Updated Feb 15, 2025

Powerful menu bar manager for macOS

Swift 16,958 300 Updated Jan 26, 2025

AeroSpace is an i3-like tiling window manager for macOS

Swift 10,654 192 Updated Feb 24, 2025

A multi-shell completion binary.

Go 1,110 62 Updated Feb 26, 2025

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

Rust 54,830 3,615 Updated Feb 27, 2025

A full-stack, syncing database that runs on both server and client. Pluggable storage (indexeddb, sqlite, durable objects), syncs over websockets, and works with your favorite framework (React, Sol…

TypeScript 2,572 77 Updated Feb 26, 2025

A spiffy blog theme for Zola, well crafted

SCSS 199 37 Updated Feb 24, 2025

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

Haskell 38 10 Updated Feb 18, 2025

A collection of resources for learning type theory and type theory adjacent fields.

2,211 119 Updated Aug 30, 2024

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

Lua 3,071 102 Updated Feb 22, 2025

Lua plugin to turn github copilot into a cmp source

Lua 1,240 45 Updated Dec 11, 2024

💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.

Lua 5,888 190 Updated Feb 22, 2025

🧠 💪 // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more

Lua 4,160 159 Updated Aug 19, 2024

A browser-based fully-interactive Turing Machine simulator

TypeScript 3 1 Updated Oct 22, 2024

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Typst 521 13 Updated Feb 8, 2025

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

Rust 2,470 150 Updated Feb 26, 2025

perfect programming language

11,963 391 Updated Feb 26, 2025

Server to host lean games.

TypeScript 237 42 Updated Feb 25, 2025

A mobile version of the Blood on the Clocktower grimoire

JavaScript 46 24 Updated Feb 22, 2025

Temporary repository for Kind2's refactor based on HVM2

Rust 284 28 Updated Sep 25, 2024

A massively parallel, high-level programming language

Rust 18,402 457 Updated Feb 23, 2025
Next