Pinned Repositories
nixpkgs
Nix Packages collection & NixOS
git-annex-plus-el
gnome-shell-extension-workspace-isolated-dash
Isolate workspaces in Gnome Shell
hae
An embedded DSL in Haskell for FRP on embedded systems
kdesrc-build-nixexpr
Nix expression for building kdesrc-build
midi-okular-pageturner
Use your MIDI pedal to remote control Okular for page-turning
nogi-ical
Peggy
The Parser Generator for Haskell
slig
slig - Simple Locking In your Git repo
wakira.github.io
wakira's Repositories
wakira/package-sets
PureScript packages for Psc-Package and Spago
wakira/hae
An embedded DSL in Haskell for FRP on embedded systems
wakira/Radikool6
wakira/awalker-dcimg-helper
A chrome extension to help download full-sized images from dcimg.awalker.jp
wakira/tabkill
A chrome extension that kills tabs matching certain rules.
wakira/jtlifehacker
an obsolete scrawler for sjtu se students
wakira/course-compiler
Compiler course project
wakira/Peggy
The Parser Generator for Haskell
wakira/mkalpha
wakira/ookm
wakira/seagull
Seagull
wakira/log2coflow
wakira/winscard_wine
libpcscliteをラップしたLinux(Wine)用のwinscard.dll
wakira/NetworkManager-l2tp
L2TP support for NetworkManager
wakira/electsys
Electsys++ SJTU electsys optimizer.
wakira/naivetweet
Yet another project for se course
wakira/Jewelsare
A simple Bejeweled game implemented by Qt5. Homework of my summer semester.
wakira/kcalc
Project 2, a GUI calculator using Qt4