Repositories list

• mk2

  Public
  Ruby

  •

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

  •0•0•4•0•Updated Nov 20, 2024Nov 20, 2024

• theta-dani-onlab

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

  Java

  •

  Apache License 2.0

  •43•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• kamilla

  Public
  Another discord bot with the py-cord library.

  Python

  •

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

  •0•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• 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