Philipp Joram's repositories
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
streetpass-experiments
Some quick and dirty Nintento Streetpass experiments
agda-index
Poor man's Agda identifier indexing
Language:RustMPL-2.0000
Language:RustMIT000
agda-docsets
Dash/Zeal docset for various Agda libraries
Language:HaskellNOASSERTION000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
discord.nvim
Discord Rich Presence for Neovim
Language:PythonBSD-3-Clause000
forester.nvim
Neovim plugin for forester
Language:LuaMIT000
nixpkgs
Nix Packages collection
Language:NixMIT000
nvim-hs-contrib
Useful library functions for interacting with neovim for nvim-hs
nvim-lspconfig
Quickstart configurations for the Nvim LSP client
Language:LuaNOASSERTION000
Language:Nix000
PokeFinder
Cross platform Pokémon RNG tool