Matias Scharager's repositories
Language:CoqNOASSERTION000
kani
Kani Rust Verifier
Language:RustApache-2.0000
verify-rust-std
Verifying the Rust standard library
NOASSERTION000
compactness
Coq implementation of compactness lemma
Language:Coq000
csd-blog
CSD Blog
000
nixpkgs
Nix Packages collection
Language:NixMIT000
wordle
solving wordle problem
Language:Python000
dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
GPL-3.0000
Protein
Protein creation like esoteric programming language
Language:Python000
TeXniqueBot
Using selenium on Texnique game
Language:Python000
Language:JavaScript000
AWAP
Repository for AWAP 2019
Language:Python000
pAIn
AI that feels pain
Language:Java000
Language:HTML000
CryptoChat
Various cryptographic encryption implementations in Java
Language:Java000
Language:Java000
Language:Python000
Language:Python000
Language:Python000
Syncfonia
Rhythm based game based on beat detection analysis
Language:Java000
000