Popular repositories Loading

1. cats cats Public

   Forked from typelevel/cats

   Lightweight, modular, and extensible library for functional programming.

   Scala

2. flix flix Public

   Forked from flix/flix

   The Flix Programming Language

   Scala

3. codesearch codesearch Public

   Forked from google/codesearch

   Fast, indexed regexp search over large file trees

   Go

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. recoll recoll Public

   C++

6. starlark starlark Public

   Forked from bazelbuild/starlark

   Starlark Language

   Python