Adrian Bibby Walther (Som1Lse)

Som1Lse

Geek Repo

0

following

0

stars

Github PK Tool:Github PK Tool

Adrian Bibby Walther's repositories

Dish2Macro

A macro for Dishonored 2, that allows you to bunnyhop without a freescroll mouse.

Language:C++License:GPL-3.0Stargazers:9Issues:1Issues:1
Language:CoqStargazers:2Issues:0Issues:0

LiveSplit.ManaTracker

A plugin for LiveSplit, which keeps track of your mana and mana potions and displays a graph of their usage. For use with the game Dishonored.

Language:C#License:MITStargazers:2Issues:0Issues:0

AceInstead

Replaces CodeMirror with Ace on gcc.godbolt.org

Language:JavaScriptLicense:ISCStargazers:0Issues:0Issues:0

ArgleBargleGarble

Garbled circuits implementation in Python

Language:PythonStargazers:0Issues:0Issues:0

asl

LiveSplit ASL scripts

Stargazers:0Issues:0Issues:0

compiler-explorer

Run GCC (and other compilers) interactively from your web browser and experiment with its generated code

Language:JavaScriptLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

DhTas

TAS tool for Dishonored

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

DotoAsl

ASL scripts for Dishonored: Death of the Outsider

Language:ASLStargazers:0Issues:0Issues:0

GSL

Guidelines Support Library

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

lexy

C++ parsing DSL

Language:C++License:BSL-1.0Stargazers:0Issues:0Issues:0

LiveSplit

A sleek, highly-customizable timer for speedrunners

Language:C#License:MITStargazers:0Issues:0Issues:0

LiveSplit.Dishonored

LiveSplit component for Dishonored

Language:C#License:WTFPLStargazers:0Issues:0Issues:0

LiveSplit.StillbirthStreak

A plugin for LiveSplit that keeps track of stillborn runs

Language:C#License:ISCStargazers:0Issues:0Issues:0

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

ssprove

A foundational framework for modular cryptographic proofs in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

vcpkg

C++ Library Manager for Windows, Linux, and MacOS

Language:CMakeLicense:MITStargazers:0Issues:0Issues:0

vscode-cmake-tools

CMake integration in Visual Studio Code

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0