Pinned

1. gussmith23/glenside gussmith23/glenside Public

   A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

   Rust 60 10

2. taichi-dev/taichi taichi-dev/taichi Public

   Productive, portable, and performant GPU programming in Python.

   C++ 24.9k 2.2k

3. veripy veripy Public

   Python3 auto-active verification library (migrated to an Intel project)

   Python 22

4. dtlc dtlc Public

   Dependently typed lambda calculus - A Simple Proof Assistant

   OCaml 11

5. CatsTail CatsTail Public

   CatsTail: Packet program synthesis via equality saturation

   Rust

6. Weekly development breakdown Weekly development breakdown

   1

   BibTeX     46 mins        ███████▎░░░░░░░░░░░░░  35.0%

   2

   Python     41 mins        ██████▌░░░░░░░░░░░░░░  31.3%

   3

   Markdown   38 mins        ██████░░░░░░░░░░░░░░░  28.8%

   4

   JSON       6 mins         █░░░░░░░░░░░░░░░░░░░░   4.9%