Nixotica

Nixotica's Stars

• ski-freak/TrackmaniaItemsSorted

  The complete sorted item set of all the important custom items for trackmania mapping, most of which are from item exchange.

  253

• Nixotica/AutoEvents

  Language:Python1

• Nixotica/NadeoEventAPIWrapper

  Language:Python11

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k428

• hollow-cube/minestom-ce

  1.20.4 Lightweight Minecraft server

  Language:Java10635

• hollow-cube/common

  A library of common systems for Minestom such as schematics, world management, chat, and so on.

  Language:Java153