Repositories list

• theta-dani-onlab

  Public
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

  Java

  •

  Apache License 2.0

  •46•0•0•0•Updated Oct 8, 2025Oct 8, 2025

• mk2

  Public
  Ruby

  •

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

  •0•0•0•0•Updated Sep 17, 2025Sep 17, 2025

• kamilla

  Public
  Another discord bot with the py-cord library.

  Python

  •

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

  •0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

• mse

  Public archive
  A discord bot with the Javacord library.

  kotlindiscordcoroutines+ 2discord-botjavacord

  Kotlin

  •

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

  •0•0•4•0•Updated Mar 19, 2024Mar 19, 2024

• libmoscht

  Public
  MosógépSCH Kotlin library

  kotlin

  Kotlin

  •0•0•0•0•Updated Sep 18, 2023Sep 18, 2023

• boti

  Public archive
  Discord bot

  Kotlin

  •

  MIT License

  •0•0•6•0•Updated Sep 13, 2023Sep 13, 2023