8000 jakobbotsch (Jakob Botsch Nielsen) · GitHub
[go: up one dir, main page]
Skip to content
View jakobbotsch's full-sized avatar
175 followers · 4 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@microsoft @dotnet @recastnavigation

Block or report jakobbotsch

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. recastnavigation/recastnavigation recastnavigation/recastnavigation Public

    Industry-standard navigation-mesh toolset for games

    C++ 8.2k 1.8k

  2. Fuzzlyn Fuzzlyn Public

    Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.

    C# 249 18

  3. AU-COBRA/ConCert AU-COBRA/ConCert Public

    A framework for smart contract verification in Coq

    Rocq Prover 129 22

  4. MetaRocq/metarocq MetaRocq/metarocq Public

    Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

    Rocq Prover 569 101

0