Popular repositories Loading

1. bril bril Public

   Forked from sampsyo/bril

   an educational compiler intermediate representation

   Rust

2. GettingStarted GettingStarted Public

   Overviews of common software development tools and code snippets to learn key concepts

   Python

3. lets-prove-leftpad lets-prove-leftpad Public

   Forked from hwayne/lets-prove-leftpad

   Proving leftpad correct in a dozen different ways

   SystemVerilog

4. scikit-learn scikit-learn Public

   Forked from scikit-learn/scikit-learn

   scikit-learn: machine learning in Python

   Python

5. sci-lang sci-lang Public