Python library for CTFer

A command-line utility to download songs and playlists directly from Spotify

Open Source Spotify client library

A collection of formalized statements of conjectures in Lean.

An open-source cross-platform alternative to AirDrop

💼 Neovim plugin to manage global and project-local settings

🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

A sleek, customizable Discord theme.

Generate nix sources expr for the latest version of packages

🎥 Make videos programmatically with React

Display math in TeX with KaTeX and ReactJS

A keyboard input remapper for Linux/Wayland systems, written by @wez

Edit your flake inputs with ease.

A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo

A Lean tactic that invokes the Kimina Prover Preview model to offer proof suggestions.

無料で使える中品質なテキスト読み上げソフトウェア、VOICEVOXのコア

無料で使える中品質なテキスト読み上げソフトウェア、VOICEVOXの音声合成エンジン

無料で使える中品質なテキスト読み上げソフトウェア、VOICEVOXのエディター

Code challenges to solve with Haskell

The SATySFi Language Server

Prefetch sources from github for nix build tool

treefmt nix configuration

SteamOS session compositing window manager

GitHub action for standard CI in Lean projects

Document Generator for Lean 4

LeanTeX pretty printers for mathlib

Lean 4 library for pretty printing expressions as LaTeX

Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.