Pinned Repositories
metricq
🐼 A highly-scalable, distributed metric data processing framework based on RabbitMQ
agda-cubical-multiset
(Finite) multisets in Cubical Agda
agda-index
Poor man's Agda identifier indexing
agda-mode-ng
Let's rethink how we interact with Agda
alster
A proof-of-concept Language Server for the Agda programming language.
ctroller
Use your 3DS as a gamepad on linux
ctru-rt
A WIP runtime crate to run Rust usermode code on the Nintendo 3DS
fractalbot
gba-pkm-save-edit
A commandline application to edit save files of Pokémon-games for the GBA
SpecializeMii
Golden Pants for everyone!
phijor's Repositories
phijor/ctroller
Use your 3DS as a gamepad on linux
phijor/agda-mode-ng
Let's rethink how we interact with Agda
phijor/gba-pkm-save-edit
A commandline application to edit save files of Pokémon-games for the GBA
phijor/agda-cubical-multiset
(Finite) multisets in Cubical Agda
phijor/alster
A proof-of-concept Language Server for the Agda programming language.
phijor/cubical-containers
phijor/ctru-rt
A WIP runtime crate to run Rust usermode code on the Nintendo 3DS
phijor/nvim-config
phijor/streetpass-experiments
Some quick and dirty Nintento Streetpass experiments
phijor/agda-index
Poor man's Agda identifier indexing
phijor/fractalbot
phijor/mopidy-notify
phijor/agda-docsets
Dash/Zeal docset for various Agda libraries
phijor/agda-lsp
phijor/cmp-agda-symbols
phijor/cornelis
agda-mode for neovim
phijor/cubical
An experimental library for Cubical Agda
phijor/cubical-playground
🧊🛝
phijor/forest-server
A server for the forester tool
phijor/forester.nvim
Neovim plugin for forester
phijor/LSP-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
phijor/nixpkgs
Nix Packages collection
phijor/nvim-hs-contrib
Useful library functions for interacting with neovim for nvim-hs
phijor/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
phijor/phijor.github.io
phijor/PokeFinder
Cross platform Pokémon RNG tool
phijor/savekat.org
phijor/shellblocks
phijor/telegram-shibe-bot
phijor/xkb-layout