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/Fuzzlyn
Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.
jakobbotsch/AdventOfCode
jakobbotsch/ImGui.NET
An ImGui wrapper for .NET.
jakobbotsch/xed.NET
.NET wrapper for Intel's x86 Encoder Decoder
jakobbotsch/ABIStress
jakobbotsch/Coroutines
Coroutine implementation using the async/await machinery in C#
jakobbotsch/perf-diff-finder
jakobbotsch/poolstation
jakobbotsch/recastnavigation
Navigation-mesh Toolset for Games
jakobbotsch/ADS
Hand-ins for advanced data structures
jakobbotsch/certicoq
jakobbotsch/cimgui
c-api for imgui (https://github.com/ocornut/imgui)
jakobbotsch/CollectibleTailCalls
jakobbotsch/ConCert
A framework for smart contract verification in Coq
jakobbotsch/concordium-rust-smart-contracts
Standard library for writing smart contracts for the Concordium blockchain.
jakobbotsch/containers
Containers: a typeclass-based library of finite sets/maps
jakobbotsch/coq-record-update
Library to create Coq record update functions
jakobbotsch/coreclr
This repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte code loading, compilation to machine code and garbage collection. The repo contains the complete up-to-date CoreCLR codebase.
jakobbotsch/coreclr-pgo-compare
jakobbotsch/dotnet-performance
This repo contains benchmarks used for testing the performance of all .NET Runtimes
jakobbotsch/exp-epa
jakobbotsch/jitutils
jakobbotsch/metacoq
Metaprogramming in Coq
jakobbotsch/mono
Mono open source ECMA CLI, C# and .NET implementation.
jakobbotsch/name-the-biggest-number
jakobbotsch/perfview
PerfView is a CPU and memory performance-analysis tool
jakobbotsch/runtime
.NET is a cross-platform runtime and libraries, for cloud, IoT and desktop apps. It includes a garbage collector, JIT compiler, primitive data types and class libraries.
jakobbotsch/runtimelab
This repo is for experimentation and exploring new ideas that may or may not make it into the main dotnet/runtime repo.
jakobbotsch/spgo_data
jakobbotsch/SwiftAbiStressGenerator