Popular repositories Loading

1. ProjetIDK ProjetIDK Public

   Split-screen game for lonely people.

   ASP 1

2. LD50 LD50 Public

   Forked from nbusser/LD-Base

   GDScript 1

3. koika koika Public

   Forked from mit-plv/koika

   A core language for rule-based hardware design 🦑

   Coq

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. xborder xborder Public

   Forked from deter0/xborder

   Active window border replacement for window managers.

   Python

6. firrtl-spec firrtl-spec Public

   Forked from chipsalliance/firrtl-spec

   The specification for the FIRRTL language

   TeX