Pinned Repositories
ConCert
A framework for smart contract verification in Coq
AdventOfCode
Bot2048
Bot/AI for 2048
Fuzzlyn
Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.
ILFunc
A tool that allows functions to be written directly in CIL by placing an attribute on them.
ImGui.NET
An ImGui wrapper for .NET.
llvm-sgx
LLVM with SGX support
LzmaNet
.NET bindings around the official C implementation of LZMA
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
recastnavigation
Industry-standard navigation-mesh toolset for games
jakobbotsch's Repositories
jakobbotsch/llvm-sgx
LLVM with SGX support
jakobbotsch/ILFunc
A tool that allows functions to be written directly in CIL by placing an attribute on them.
jakobbotsch/LzmaNet
.NET bindings around the official C implementation of LZMA
jakobbotsch/Bot2048
Bot/AI for 2048
jakobbotsch/AdvancedDataStructures
jakobbotsch/clang-sgx
clang with SGX support
jakobbotsch/dSik
jakobbotsch/HexRaysCodeXplorer
Hex-Rays Decompiler plugin for better code navigation
jakobbotsch/BoxProverConverter
Convert from Word equations to BoxProver input
jakobbotsch/chaos
A social coding experiment that updates its own code democratically
jakobbotsch/csocks5
Tiny and simple POSIX SOCKS5 proxy in C
jakobbotsch/dDist
jakobbotsch/euler
Project Euler solutions in F#
jakobbotsch/KrakenNet
Kraken API wrapper in .NET.
jakobbotsch/letsencrypt-win-simple
A Simple ACME Client for Windows
jakobbotsch/llvm-sgx-post
Post processor for executables created with llvm-sgx. Encrypts the enclave contents and adds the enclave signature.
jakobbotsch/NetworkSimplex
Implementation of network simplex algorithm in C#
jakobbotsch/opensgx
OpenSGX
jakobbotsch/Opserver
Stack Exchange's Monitoring System
jakobbotsch/PvCOS
Pervasive Computing 2015 projekt
jakobbotsch/VsVim
Vim Emulator Plugin for Visual Studio 2010+