Mirror your github repositories to your gitea server

Rust Weaponization for Red Team Engagements.

Golang comptime. Pure blasphemy

A project to digitalise results from high energy physics into Lean.

A MoonBit toolchain multiplexer and version manager

Neovim plugin for Moonbit

A plugin to visualise and resolve merge conflicts in neovim

Cross-platform implementation of cross-process named locks

A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.

Vimium/Vimari for Safari without browser extension in pure Lua

Minimal implementations for dependent type checking and elaboration

Rust mid-level IR Abstract Interpreter

Permanent Apple Intelligence + Xcode Predictive Code Completion for Chinese-market Mac computers

🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

A search engine for Rust

A collective list of free APIs

A C compiler written in Zig.

A fast, flexible, fused effect system for Haskell

Run Linux ELF binary directly on macOS via hypervisor.framework

A curated list of awesome tools and technology to help you out with ricing on linux

Typst blog template based on Zola, typst.ts, and apollo.

A primitive for writing structural search and replace programs for rust

「go 言語でつくるインタプリタ」の Lean によるノート

Sudo, a font for programmers and command line users.

Neovim plugin to Build, Debug, and Test applications created for Apple devices (iOS, macOS, watchOS, etc.)

Think tmux, then aim... lower

Window peeking for macOS

☄️ Highly customisable markdown(latex & inline html) previewer for Neovim

Flamegraph viewer in the terminal