4e554c4c Goto Github PK

about

About this organization

actions

GitHub Actions which are used across the Yetto suite.

adjunction-formula-blueprint

Website and documentation for the Adjunction Formula, including dependency graph.

adjunction_formula

agda

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

agda-categories

A new Categories library for Agda

agda-language-server

Language Server for Agda

awesome-neovim

Collections of awesome neovim plugins.

bluesignals

Generic Cross Platform Signal Handler

cornelis

agda-mode for neovim

darkman.nvim

A neovim plugin for interfacing with the freedesktop dark mode standard

dart_cli_util

A library to help in building Dart command-line apps

debug-adapter-protocol

Defines a common protocol for debug adapters.

doc-gen4

Document Generator for Lean 4

egg

egraphs in rust

esalp-1

The Endangered Soaring African Lynx-Pidgeon strikes again.

euler

flutter-tools.nvim

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

gps

hatsune-miku-windows-linux-cursors

Hatsune Miku Cursors for Windows/Linux!

heliocron

A command line application written in Rust capable of delaying execution of other programs for time periods relative to sunrise and sunset.

kitty

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

lean.nvim

neovim support for the Lean theorem prover

lean4

Lean 4 programming language and theorem prover

libraries

linked_list

list_cursors

mastodon

Your self-hosted, globally interconnected microblogging community

mathematical

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

monads-comonads