phijor

ctroller

Use your 3DS as a gamepad on linux

agda-mode-ng

Let's rethink how we interact with Agda

gba-pkm-save-edit

A commandline application to edit save files of Pokémon-games for the GBA

agda-cubical-multiset

(Finite) multisets in Cubical Agda

alster

A proof-of-concept Language Server for the Agda programming language.

ctru-rt

A WIP runtime crate to run Rust usermode code on the Nintendo 3DS

nvim-config

streetpass-experiments

Some quick and dirty Nintento Streetpass experiments

agda-index

Poor man's Agda identifier indexing

fractalbot

mopidy-notify

agda-docsets

Dash/Zeal docset for various Agda libraries

agda-lsp

click-log

Simple and beautiful logging for click applications

cornelis

agda-mode for neovim

cubical

An experimental library for Cubical Agda

cubical-playground

🧊🛝

discord.nvim

Discord Rich Presence for Neovim

humanize

python humanize functions

LSP-lib

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

nixpkgs

Nix Packages collection

nvim-hs-contrib

Useful library functions for interacting with neovim for nvim-hs

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

otf2xx

C++ wrapper for Open Trace Format 2

phijor.github.io

PokeFinder

Cross platform Pokémon RNG tool

savekat.org

shellblocks

telegram-shibe-bot

xkb-layout