Pinned Loading

1. p-org/P p-org/P Public

   The P programming language.

   C# 3.6k 218

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

   Productive, portable, and performant GPU programming in Python.

   C++ 28.2k 2.4k

3. P-Tutorial-Raft P-Tutorial-Raft Public

   A Raft model (without reconfiguration) implemented in P

   OpenEdge ABL 1 1

4. gussmith23/glenside gussmith23/glenside Public archive

   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 75 10

5. dtlc dtlc Public

   Dependently typed lambda calculus - A Simple Proof Assistant

   OCaml 12

6. Weekly development breakdown Weekly development breakdown

   1

   Lean4      16 hrs 43 mins █████████████████▉░░░  85.4%

   2

   Markdown   2 hrs 14 mins  ██▍░░░░░░░░░░░░░░░░░░  11.4%

   3

   TeX        15 mins        ▎░░░░░░░░░░░░░░░░░░░░   1.3%

   4

   Smalltalk  9 mins         ▏░░░░░░░░░░░░░░░░░░░░   0.8%

   5

   TOML       5 mins         ░░░░░░░░░░░░░░░░░░░░░   0.5%