Pinned Loading

1. mathnotes-app/mobile-ink mathnotes-app/mobile-ink Public

   Production-grade React Native ink engine with native Skia/Metal drawing and continuous canvas primitives.

   C++ 19

2. vivid vivid Public

   TypeScript 7

3. dxsh dxsh Public

   dxsh is a low-code node-based ETL pipeline and dashboard builder, making it super easy to load, transform, and display data quickly.

   Python 5 1

4. touchful touchful Public

   Transform screen recordings into polished videos with tap animations and device frames

   JavaScript 2

5. pde-constrained-opt-nn/neural-network-method pde-constrained-opt-nn/neural-network-method Public

   Jupyter Notebook

6. mxthematic/openproof mxthematic/openproof Public

   Conversational theorem prover for Lean 4. Describe a theorem, get a machine-checked proof.

   Rust