Pinned Repositories
arch-hs
Distribute hackage packages to archlinux
emerald-extension
A framework of Minecraft-Spigot Plugin.
flakes
Some packages I use on NixOS
nix-lang
[WIP] A toy parser for Nix language
nixos-config
nvfetcher
Generate nix sources expr for the latest version of packages
uusi
Tweak package description
vscode-cabal-fmt
VS Code integration of cabal-fmt
fcitx5-android
Fcitx5 input method framework and engines ported to Android
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
berberman's Repositories
berberman/nvfetcher
Generate nix sources expr for the latest version of packages
berberman/flakes
Some packages I use on NixOS
berberman/arch-hs
Distribute hackage packages to archlinux
berberman/nix-lang
[WIP] A toy parser for Nix language
berberman/uusi
Tweak package description
berberman/vscode-cabal-fmt
VS Code integration of cabal-fmt
berberman/nixos-config
berberman/arch-web
Arch Linux official and AUR web interface binding
berberman/berberman
berberman/dotfiles
berberman/archlinuxcn-keyring
ArchlinuxCN repo developer's gpg key
berberman/docs.scala-lang
The Scala Documentation website
berberman/fcitx5
maybe a new fcitx.
berberman/fcitx5-android-poc
An attempt to run fcitx5 on Android
berberman/fcitx5-lua
berberman/fcitx5-unikey
berberman/FeelUOwn
trying to be a user-friendly and hackable music player
berberman/feeluown-netease
berberman/haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
berberman/hledger-iadd
A terminal UI as drop-in replacement for hledger add.
berberman/hsini
Haskell library for configuration (INI) files.
berberman/luoxu
A Telegram userbot to index Chinese and Japanese group contents.
berberman/mustache
Haskell implementation of mustache templates
berberman/nixos-cn.github.io
NixOS 中文社区官网
berberman/nixpkgs
Nix Packages collection
berberman/prebuilt
Prebuit static libraries for fcitx5-android-poc
berberman/repo
Arch Linux CN Repository
berberman/space
berberman/type-errors
:warning: tools for writing better type errors
berberman/waka-box
📊 Update a pinned gist to contain your weekly WakaTime stats