andyluss

cobra

A Commander for modern Go CLI interactions

click

Python composable command line interface toolkit

candle

Minimalist ML framework for Rust

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

thumbor

thumbor is an open-source photo thumbnail service by globo.com

sccache

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

OFGB

GUI Tool To Removes Ads From Various Places Around Windows 11

cssnano

A modular minifier, built on top of the PostCSS ecosystem.

aviatorscript

A high performance scripting language hosted on the JVM.

uniffi-rs

a multi-language bindings generator for rust

ccache

ccache – a fast compiler cache

lazy-static.rs

A small macro for defining lazy evaluated static variables in Rust.

syntect

Rust library for syntax highlighting using Sublime Text syntax definitions.

hashes

Collection of cryptographic hash functions written in pure Rust

lux

The Lux Programming Language

LlamaIndexTS

LlamaIndex is a data framework for your LLM applications

core-vapor

Vue Vapor is a variant of Vue that offers rendering without the Virtual DOM.

rust-ffmpeg

Safe FFmpeg wrapper.

mathlib4

The math library of Lean 4

layout

Layout is a rust library and a tool that renders Graphviz dot files.

wired-notify

Lightweight notification daemon with highly customizable layout blocks, written in Rust.

rust-ffmpeg

Safe FFmpeg wrapper.

jemallocator

Rust allocator using jemalloc as a backend

skribo

A Rust library for low-level text layout.

fabric-photo

基于canvas的前端图片编辑器

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

lean4-metaprogramming-book

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

theorem_proving_in_lean4

Theorem Proving in Lean 4

quantum-js

A runtime extension to JavaScript that enables us do Imperative Reactive Programming (IRP) in the very language!