Popular repositories Loading

1. act act Public

   Forked from argotorg/act

   Smart contract specification language

   Haskell 1

2. dbproject dbproject Public

   Εργασία μαθήματος Βάσεις Δεδομένων 6ου Εξαμήνου, ΣΗΜΜΥ, Ε.Μ.Π.

   PHP

3. PL2-1 PL2-1 Public

   Forked from zoep/PL2

   Course Material for "Programming Languages II"

   Coq

4. picorv32 picorv32 Public

   Forked from YosysHQ/picorv32

   PicoRV32 - A Size-Optimized RISC-V CPU

   Verilog