Stars
InfiTech 2 - GregTech focused FTB modpack
A way of "tagging" Github repos. Enter the name of a Github organization or user in the white box to the top-left and click "Reload" to see all their repos. To add tags, put comma-separated terms i…
Mod pack for the beyond reality team
a python-like language with hindley-milner-like type system, which is compiled to c
Cap'n Proto serialization/RPC system - core tools and C++ library
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
asiekierka / asielauncher
Forked from jakimfett/asielauncherAsieLauncher, a simple to manage and use Minecraft launcher
A simulator for Dominion card game strategies
A Minecraft tool that allows you to manage multiple installations as well as install and uninstall mods by simply dragging and dropping them.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Silent bot that monitors #wolfgame on freenode.
ras0219 / super-sockets
Forked from tj/axonmessage-oriented socket library for node.js heavily inspired by zeromq
message-oriented socket library for node.js heavily inspired by zeromq
ras0219 / node-lol-client
Forked from justinjones/node-lol-clientLeague of Legends client emulator for node.js
League of Legends client emulator for node.js