Popular repositories Loading

1. verilog-model verilog-model Public

   DepTyCheck model for semantically correct SystemVerilog descriptions

   Idris 6 2

2. fat32-model fat32-model Public

   DepTyCheck model for FAT32 filesystem images

   Idris 1

3. goto-model goto-model Public

   Model of control-flow graphs supporting `goto` operation

   Idris

4. idris2-specialise-data idris2-specialise-data Public

   Macro functions for automatic data specialisation

   Idris

5. go-model go-model Public

   Go model

   Idris

6. dynam-model dynam-model Public

   A model of a dynamically typed language like lua or javascript

   Idris