Popular repositories Loading

1. obsidian-wypst obsidian-wypst Public

   Forked from 0xbolt/obsidian-wypst

   High quality rendering of Typst in Obsidian, powered by wypst.

   TypeScript

2. zed zed Public

   Forked from zed-industries/zed

   Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

   Rust

3. tree-sitter-rust tree-sitter-rust Public

   JavaScript

4. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

5. tree-sitter-lean4 tree-sitter-lean4 Public

   JavaScript

6. flexcell flexcell Public

   A flexible cell that allows safe circumvention of double borrow issues.

   Rust