VS Code extension for the Lean 4 programming language and theorem prover

Efficient non-empty variants of containers data types, with full API

SKK dictionary maintenance tools

Я - extremely composable embeddable programming language

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

Setoid type theory implementation

A community repository of common plugin specifications

Dex to Java decompiler

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