Popular repositories Loading

1. deptypes deptypes Public

   Rust 17 2

2. lean2agda lean2agda Public

   Forked from leanprover/lean4export

   Agda exporter for Lean 4

   Lean 5

3. generics2 generics2 Public

   Rust 1

4. set-partitions set-partitions Public

   Rust 1

5. coreutils coreutils Public

   Forked from uutils/coreutils

   Cross-platform Rust rewrite of the GNU coreutils

   Rust

6. telegram-groups-crawler telegram-groups-crawler Public archive

   Forked from edogab33/telegram-groups-crawler

   A Telegram crawler made in Python to automatically search groups and channels and collect any type of data from them (+ dataset included).

   Python