Popular repositories Loading

1. monke monke Public archive

   Forked from spbu-coding-2024/trees-trees-team-5

   Kotlin data structures library focused on classic and self-balancing binary search trees

   Kotlin

2. interaction-nets-in-fpga interaction-nets-in-fpga Public

   Forked from Lamagraph/interaction-nets-in-fpga

   Interaction nets based processor in Clash

   Haskell

3. fp25 fp25 Public

   Forked from Kakadu/fp25

   Functional programming course repository

   OCaml

4. zanuda zanuda Public

   Forked from Kakadu/zanuda

   OCaml linter

   OCaml

5. verihogg-format verihogg-format Public

   Forked from verihogg/verihogg-format

   SystemVerilog formatter

   C++

6. formal-lang-course formal-lang-course Public

   Forked from FormalLanguageConstrainedPathQuerying/formal-lang-course

   Python