Pinned Loading

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

   The P programming language.

   C# 3.7k 224

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

   Productive, portable, and performant GPU programming in Python.

   C++ 28.3k 2.4k

3. lean-crush lean-crush Public

   Auto-active interface for Lean 4 toward first-class higher-order support

   Lean

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

5. dtlc dtlc Public

   Dependently typed lambda calculus - A Simple Proof Assistant

   OCaml 12

6. Weekly development breakdown Weekly development breakdown

   1

   Lean4      9 hrs 51 mins  ████████▌░░░░░░░░░░░░  41.0%

   2

   Markdown   4 hrs 29 mins  ███▉░░░░░░░░░░░░░░░░░  18.7%

   3

   Python     4 hrs 27 mins  ███▉░░░░░░░░░░░░░░░░░  18.6%

   4

   TeX        2 hrs 20 mins  ██░░░░░░░░░░░░░░░░░░░   9.8%

   5

   JSON       1 hr 43 mins   █▌░░░░░░░░░░░░░░░░░░░   7.2%