Skip to content
View bkragl's full-sized avatar
9 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@boogie-org

Block or report bkragl

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust Other Updated Jan 16, 2025

  • shuttle Public

    Forked from awslabs/shuttle

    Shuttle is a library for testing concurrent Rust code

    Rust Apache License 2.0 Updated May 14, 2024

  • indexmap Public

    Forked from indexmap-rs/indexmap

    A hash table with consistent order and fast iteration; access items by key or sequence index

    Rust Other Updated Jan 28, 2024

  • linguist Public

    Forked from github-linguist/linguist

    Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

    Ruby MIT License Updated Feb 4, 2021

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Jan 31, 2021

  • corral Public

    Forked from boogie-org/corral

    solver for the reachability modulo theories problem

    C# MIT License Updated Oct 29, 2020

  • boogie-docker Public

    Shell Updated Jun 25, 2018

  • scal Public

    Forked from cksystemsgroup/scal

    High-performance multicore-scalable data structures and benchmarks

    C++ Other Updated Dec 8, 2016

  • CS-601_S16 Public

    Computer Science track core course, IST Austria, Spring 2016

    TeX Updated Apr 20, 2016