Pinned Repositories
backend-spring-2024-2
Template for projects with Spring Boot as Web Backend
csl-club-quartz
csl-club.github.io
Idris2-Grin
GRIN backend for Idris2
linux-eva
Half bot half linux evangelist
llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
Club Software Libre UTEC's Repositories
csl-club/linux-eva
Half bot half linux evangelist
csl-club/backend-spring-2024-2
Template for projects with Spring Boot as Web Backend
csl-club/csl-club-quartz
csl-club/csl-club.github.io
csl-club/Idris2-Grin
GRIN backend for Idris2
csl-club/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR