soimort Goto Github PK

agda-pkg

The Agda Package Manager

akb48.js

AKB48 member profiles as a JavaScript library

anthy-kaomoji

Mort's collection of everyday use kaomojis

arduino-synth

Yet another Arduino Synthesizer

awkunit

Unit Testing Framework for GNU Awk

becat

Better cat(1), split(1) and cmp(1)

caja

Caja, the file manager for the MATE desktop

codejam-commandline

Automatically exported from code.google.com/p/codejam-commandline

copycat-rootkit-demo

Website-Terminal Copy-Paste can be dangerous.

cpcat

a simple package management, file backup and synchronization script

dotfiles

Mort's dotfiles

frs48

Flight Reservation System in 48 hours

goodtwitterchrome

google_plus_archiver

[INACTIVE] A simple command-line tool to archive Google+ profiles and public streams

grassmudhorse

An implementation of GrassMudHorse programming language in Haskell

hit-and-run

Handy tool for competitive programming

horseshit

Small script to configure your hosts file so you don't get distracted during the day

idris-commonmark

Idris wrapper for jgm's Markdown parser

idris-dev

A Dependently Typed Functional Programming Language

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

igame-gem

[INACTIVE] An Educational Game for Synthetic Biology

mate-terminal

The MATE Terminal Emulator

mayuki

[INACTIVE] A minimalist Markdown/YAML-based static wiki generator

mi-caja

just my own fork of the Caja file manager

moe

An image viewer for MATE

mutter

mutter

my-ftpd

Very minimal FTP server / client

my-tint2

nyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyan

p99

P-99: Ninety-Nine Prolog Problems (Mort's Solutions)