IRC application written in Rust

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Hatsune Miku Cursors for Windows/Linux!

A common list of templates for base16-builders

Your self-hosted, globally interconnected microblogging community

Convert mathematical equations to SVGs, PNGs, or MathML. A general wrapper to Lasem and mtex2MML.

minitest provides a complete suite of testing facilities supporting TDD, BDD, mocking, and benchmarking.

Convert number to enum

A library to help in building Dart command-line apps

A new Categories library for Agda

Agda is a dependently typed programming language / interactive theorem prover.

Defines a common protocol for debug adapters.

agda-mode for neovim

A Bison grammar to convert TeX math into MathML.

GitHub Actions which are used across the Yetto suite.

Tools to help create flutter apps in neovim using the native lsp

Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉

Zulip Desktop client for Mac, Windows and Linux.

Document Generator for Lean 4

NanoMDM is a minimalist Apple MDM server heavily inspired by MicroMDM

Quickstart configs for Nvim LSP

Generic Cross Platform Signal Handler

Collections of awesome neovim plugins.

Cross-platform, fast, feature-rich, GPU based terminal

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more