Pinned Repositories
Auto
Auto IRC Bot.
BennuBot
An open-source, multi-protocol, multi-server, cross-platform, python bot run mainly off of plugins.
CTS
Chests that suck
GuiBot
Simple IRC bot made in Java, based on PircBot
GuiBotPlugins
Sample plugins for GuiBot
HardcoreRevive
MultiMC
A Minecraft tool that allows you to manage multiple installations as well as install and uninstall mods by simply dragging and dropping them. (This is the C# version)
Piperino
A LogisticsPipes clone.
SpawnEggBlock
universalthemepatcher
Automatically exported from code.google.com/p/universalthemepatcher
GUIpsp's Repositories
GUIpsp/Yaka
CUDA-Java bridge with Java cross compilation
GUIpsp/aeon
Aeon programming language
GUIpsp/agda-mode-vscode
agda-mode on VS Code
GUIpsp/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.
GUIpsp/cargo-autoinherit
(Auto)DRY for your Rust dependencies
GUIpsp/ChanceCubes
GUIpsp/chatterino2
Chat client for https://twitch.tv
GUIpsp/cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
GUIpsp/espada.dev
GUIpsp/grappa
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
GUIpsp/IsaacRandom
Simple website to randomize characters in The Binding of Isaac: Rebirth. Since nobody wants The Spoiler
GUIpsp/jasmin
Jasmin Assembly simulator
GUIpsp/language-formatters-pre-commit-hooks-bug-demo
GUIpsp/lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
GUIpsp/libadalang
Ada semantic analysis library.
GUIpsp/nixpkgs
Nix Packages collection & NixOS
GUIpsp/okhttp
An HTTP+SPDY client for Android and Java applications.
GUIpsp/paper_HCM_benchmark
This repo contains the code to reproduce the results obtained in the benchmark of prediction tools to predict Hypertrophic Cardiomyopathy associated variants
GUIpsp/pre-commit
A framework for managing and maintaining multi-language pre-commit hooks.
GUIpsp/psi
Exact Inference Engine for Probabilistic Programs
GUIpsp/pyodide
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
GUIpsp/rand
A Rust library for random number generation.
GUIpsp/rand_uniform_hang
GUIpsp/rngs
Extra RNGs
GUIpsp/runelite
Open source Old School RuneScape client
GUIpsp/rure-python
Python wrapper of the RuRe.
GUIpsp/rust-emd
A Rust crate for computing the Earth Mover's Distance (pyemd wrapper)
GUIpsp/soot
Soot - A Java optimization framework
GUIpsp/vita-toolchain
GUIpsp/xtext-idea
xtext-idea