petercommand

Pinned Repositories

BokChat
An integrated chat server
Language:C30
cparc
A parser combinator written in C
Language:C3 4 00
ExtFieldComp
Language:Agda2 5 00
Functional-Thursday-Talk-Rust-Memory-Safety
30
Funtional-Thursday-Talk-Haskell-Core-Stg
https://www.youtube.com/watch?v=OUEWSkUStDc
10
haskell-game-workshop
Language:Haskell10
hime
HIME Input Method Editor
Language:C1 3 00
MASMGen
MASM code generator
Language:Haskell3 3 00
mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby1 2 00

petercommand's Repositories

petercommand/BokChat
An integrated chat server
Language:C30
petercommand/cparc
A parser combinator written in C
Language:C3 4 00
petercommand/Functional-Thursday-Talk-Rust-Memory-Safety
30
petercommand/MASMGen
MASM code generator
Language:Haskell3 3 00
petercommand/ExtFieldComp
Language:Agda2 5 00
petercommand/Funtional-Thursday-Talk-Haskell-Core-Stg
https://www.youtube.com/watch?v=OUEWSkUStDc
10
petercommand/haskell-game-workshop
Language:Haskell10
petercommand/hime
HIME Input Method Editor
Language:C1 3 00
petercommand/mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby1 2 00
petercommand/ChezScheme
Chez Scheme
Language:Scheme3 0
petercommand/DAV-4-TbSync
[Thunderbird Add-On] The CalDAV & CardDAV provider for TbSync to sync contacts, tasks and calendars to Thunderbird.
Language:JavaScript2 0
petercommand/dependently_typed_vc
Language:Agda3 0
petercommand/ende
Language:Rust
petercommand/epigram1
A version of Epigram 1 that can run with newer GHCs
Language:Haskell
petercommand/lobsters-bisque
Generates RSS feed for Lobste.rs that filters by score and provides comments as link.
Language:Python2 0
petercommand/macosx-nosleep-extension
Automatically exported from code.google.com/p/macosx-nosleep-extension
Language:Objective-C
petercommand/macosx-nosleep-extension.updates
Automatically exported from code.google.com/p/macosx-nosleep-extension.updates
petercommand/nixos-config
Language:Nix
petercommand/nixpkgs
Nix Packages collection
Language:Nix
petercommand/OTT
Observational Type Theory as an Agda library
Language:Agda3 0
petercommand/qira
QEMU Interactive Runtime Analyser
Language:C3 0
petercommand/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell
petercommand/staytop
Language:C
petercommand/taffybar
A gtk based status bar for tiling window managers such as XMonad
Language:Haskell
petercommand/TalkBot
Language:Assembly1
petercommand/taskwarriorandroid
This is a fork of https://bitbucket.org/kvorobyev/taskwarriorandroid
Language:C++4 0
petercommand/TgShowNick
Language:C++
petercommand/trayer
Automatically exported from code.google.com/p/trayer
Language:C
petercommand/widgetfx
Automatically exported from code.google.com/p/widgetfx
Language:Java2 68
petercommand/xmonad-workspace-switcher
Language:Haskell3 0