rami3l

Whisky

A modern Wine wrapper for macOS built with SwiftUI

survey

A golang library for building interactive and accessible prompts with full support for windows and posix terminals.

redb

An embedded key-value database in pure Rust

trogon

Easily turn your Click CLI into a powerful terminal application

homebrew-apple

junest

The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.

github-nvim-theme

Github's Neovim themes

magnolia

Easy, fast, transparent generic derivation of typeclass instances

pyserde

Yet another serialization library on top of dataclasses, inspired by serde-rs.

flux

Refinement Types for Rust

nixfmt

A formatter for Nix code

cargo-careful

Execute Rust code carefully, with extra checking along the way

loxcraft

Language tooling for the Lox programming language.

install-action

GitHub Action for installing development tools (mainly from GitHub Releases).

RASCII

Advanced image to ASCII art tool & crate written in Rust 🦀🚀

SlidePilot-macOS

Ultimate PDF Presentation Tool for macOS 🖥

astmaker

Build Abstract Syntax Trees and tree-walking models quickly in Rust.

magictrackpad2-dkms

A DKMS module to support the Apple Magic Trackpad 2

rowscript

RowScript programming language, making a better browser world

lean-smt

Tactics for discharging Lean goals into SMT solvers.

beul

It executes futures

zigrc

Zig reference-counted pointers inspired by Rust's Rc and Arc

bitsteward

A GTK4 + Libadwaita client for Bitwarden

rust-windows-dll

Macro for dynamically loading windows dll functions

fo

🎺 Function calling utilities Go library based on Go 1.18+ Generics (Go2 like error handling, invoke with contexts, etc.)

subgraph-retrieval-toolkit

SRTK: Retrieve semantic-relevant subgraphs from large-scale knowledge graphs

currying

A crate for argument-currying anything implementing FnOnce. Arguments can be passed one at a time, yielding a new something implementing FnOnce (and possibly FnMut and Fn) which can be called with one less argument.

ghosts.rs

Type-check non-existing `Phantom` code for Fun And Profit™.

tree-beamer

Slides and sources for talks on Tree Borrows

ECPKNStage

中法工程师学院工程师毕业实习报告LaTeX猴版模板