Skip to content
View qsctr's full-sized avatar
22 followers · 23 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@TASRobotics

Block or report qsctr

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

Pinned Loading

  1. GaloisInc/cryptol GaloisInc/cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.1k 126

  2. GaloisInc/saw-script GaloisInc/saw-script Public

    The SAW scripting language.

    Haskell 442 63

  3. coq-synth coq-synth Public

    Coq synthesizer

    OCaml 2

  4. SHoltzen/dice SHoltzen/dice Public

    Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

    OCaml 80 20

  5. GaloisInc/formal-verso GaloisInc/formal-verso Public

    Formal Verification for Soroban

    Rust 1

  6. metro metro Public

    A functional programming language (work in progress)

    Haskell 6