Popular repositories Loading

1. verificacion-con-fstar-2024 verificacion-con-fstar-2024 Public

   Repositorio de la optativa para la FCEIA

   F* 16 16

2. cemetery cemetery Public

   A (toy-ish) DSL for Cryptography.

   Haskell 4

3. ray-tracer ray-tracer Public

   A pretty standard constructive solid geometry ray tracer

   C 2

4. snake86 snake86 Public

   x86 Bootable Snake game

   C 2

5. lcc.cls lcc.cls Public

   Clase de LaTeX para documentos de la LCC (prácticas, exámenes, etc)

   TeX 2

6. hacl-star hacl-star Public

   Forked from hacl-star/hacl-star

   HACL*, a formally verified cryptographic library written in F*

   Assembly 1