Popular repositories Loading

1. coq_nvim coq_nvim Public

   Forked from ms-jpq/coq_nvim

   Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

   Python

2. Isabelle-Set Isabelle-Set Public

   Forked from kappelmann/Isabelle-Set

   Soft types for Isabelle - bringing types to the world of set-theory.

   Isabelle

3. clash-shake clash-shake Public

   Forked from gergoerdi/clash-shake

   Haskell

4. clash-pong clash-pong Public

   Forked from gergoerdi/clash-pong

   Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

   Tcl

5. clash-compiler clash-compiler Public

   Forked from clash-lang/clash-compiler

   Haskell to VHDL/Verilog/SystemVerilog compiler

   Haskell