codepuree

codepuree's Stars

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k21475106

• emareg/paper-checker

  Find simple grammar mistakes in scientific documents.

  Language:Python173139

• mstanciu552/tree-sitter-matlab

  Language:C14346

• buttairfly/goPanel

  golang pixel panel software

  Language:Go6

• mstanciu552/cmp-matlab

  Language:Lua6100

• konmuc/core

  The service layer for the konmuc website/app.

  Language:JavaScript3301

• mwernerds/globimap

  Global Binary Maps Illustrative Implementation

  Language:C++32

• StephanHannsi/IntegrityML

  System supporting the development of machine learning models that analyse Monitoring data

  Language:C#2

• czycs/adventofcode_2021

  adventofcode_2021 in R

  Language:R1

• Jakazuuu/geodesy-dev

  Language:HTML1100