Popular repositories Loading

1. func_algo func_algo Public

   Lean

2. feldera feldera Public

   Forked from feldera/feldera

   The Feldera Incremental Computation Engine

   Rust

3. techdemo-spreadsheet techdemo-spreadsheet Public

   Forked from feldera/techdemo-spreadsheet

   A Spreadsheet with the Feldera Engine

   Rust

4. nanoda_lib nanoda_lib Public

   Forked from ammkrn/nanoda_lib

   Library implementing type inference/checking functionality based on the Lean theorem prover

   Rust

5. lean4export lean4export Public

   Forked from ammkrn/lean4export

   Plain-text declaration export for Lean 4

   Lean

6. LayoutEditorX LayoutEditorX Public

   Forked from itsvks19/LayoutEditorX

   Create Awesome UI

   Java