Repositories list

• python-discord-bot

  Public
  A Discord Bot example with discord.py

  Python

  •

  MIT License

  •1•0•0•0•Updated Aug 11, 2025Aug 11, 2025

• typescript-discord-bot

  Public
  TypeScript

  •0•0•0•0•Updated Aug 7, 2025Aug 7, 2025

• awesome-utec

  Public
  Un compendio de proyectos de computación de la UTEC.

  computer-sciencedata-scienceawesome+ 2awesome-listutec

  TypeScript

  •

  MIT License

  •2•2•6•0•Updated Aug 2, 2025Aug 2, 2025

• flisol

  Public
  FLISoL stuff

  Python

  •0•0•0•0•Updated May 3, 2025May 3, 2025

• csl-club-quartz

  Public
  TypeScript

  •

  MIT License

  •0•0•1•2•Updated Mar 3, 2025Mar 3, 2025

• linux-eva

  Public
  Half bot half linux evangelist

  Go

  •0•3•0•0•Updated Dec 17, 2024Dec 17, 2024

• csl-club.github.io

  Public
  MIT License

  •0•0•0•0•Updated Dec 14, 2024Dec 14, 2024

• llvm-hs-pretty

  Public
  Pretty printer for LLVM AST to Textual IR

  LLVM

  •

  MIT License

  •38•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• Idris2-Grin

  Public
  GRIN backend for Idris2

  Idris

  •

  BSD 3-Clause "New" or "Revised" License

  •3•0•0•0•Updated Oct 27, 2024Oct 27, 2024

• backend-spring-2024-2

  Public template
  Template for projects with Spring Boot as Web Backend

  Java

  •0•0•0•0•Updated Sep 22, 2024Sep 22, 2024