guipsp Goto Github PK

aeon

Aeon programming language

agda-mode-vscode

agda-mode on VS Code

antigen

A plugin manager for zsh, inspired by oh-my-zsh and vundle.

auto

Auto IRC Bot.

bennubot

An open-source, multi-protocol, multi-server, cross-platform, python bot run mainly off of plugins.

bizhawk

BizHawk is a multi-system emulator written in C#. BizHawk provides nice features for casual gamers such as full screen, and joypad support in addition to full rerecording and debugging tools for all system cores.

buildcraft

BuildCraft

bukkit-workers

Bukkit Plug-in to make those nice villagers work

cargo-autoinherit

(Auto)DRY for your Rust dependencies

chancecubes

chatterino2

Chat client for https://twitch.tv

cts

Chests that suck

cvc5

cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

dolphin

Dolphin is a GameCube/Wii emulator, allowing you to play games for these two platforms on PC, with improvements.

espada.dev

fml

The Forge Mod Loader - an opensource replacement mod loader for minecraft

forgegradle

Minecraft mod development framework used by Forge and FML for the gradle build system

gindex

A java compile-time indexer

gmcp_scripts

MCP and forge buildscripts in groovy for use with gradle

gradle

A powerful build system for the JVM

grappa

Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase

guibot

Simple IRC bot made in Java, based on PircBot

guibotplugins

Sample plugins for GuiBot

hardcorerevive

hs2bf

Haskell to brainfuck compiler

isaacrandom

Simple website to randomize characters in The Binding of Isaac: Rebirth. Since nobody wants The Spoiler

jasmin

Jasmin Assembly simulator

jraw

Java Reddit API Wrapper

jythonconsole

Automatically exported from code.google.com/p/jythonconsole

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.