Popular repositories Loading

1. Idris2-Grin Idris2-Grin Public

   Forked from Z-snails/Idris2-Grin

   GRIN backend for Idris2

   Idris

2. backend-spring-2024-2 backend-spring-2024-2 Public template

   Template for projects with Spring Boot as Web Backend

   Java

3. llvm-hs-pretty llvm-hs-pretty Public

   Forked from llvm-hs/llvm-hs-pretty

   Pretty printer for LLVM AST to Textual IR

   LLVM