Pinned Repositories
cellmata
programming language for effectively writing cellular automata
CGAAL
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
cleopetra
Tournament system tailored to the RLBot framework
AutoLeague
An automatic league-runner for Rocket League bots (RLBot)
AutoLeague2
A league runner for RLBot
ChessHeavenAndHell
A sandbox for when traditional chess is not epic enough
DMCC
Dat Minecraft Championship maps and datapacks
MsgPackBf
A MsgPack library in BeefLang.
RLBot-Beast
Rocket League bot
Tron
Tron game mode for Rocket League using RLBot
NicEastvillage's Repositories
NicEastvillage/RLBot-Beast
Rocket League bot
NicEastvillage/ChessHeavenAndHell
A sandbox for when traditional chess is not epic enough
NicEastvillage/DMCC
Dat Minecraft Championship maps and datapacks
NicEastvillage/TMTemplateGen
Random checkpoints map generator for Trackmania 2020
NicEastvillage/AutoLeague2
A league runner for RLBot
NicEastvillage/RLBotPhoenixCS
A Rocket League bot made using RLBot and RedUtils
NicEastvillage/SideSwipe
SideSwipe script for Rocket League using RLBot
NicEastvillage/TheMissingGatekeepers
A data pack + resource pack that reworks Minecraft's progression
NicEastvillage/TokenElimReproducibilityPackage
Reproducibility package for the paper 'Token Elimination in Model Checking of Petri Nets' by Nicolaj Ø. Jensen, Jiri Srba, and Kim G. Larsen
NicEastvillage/GMTKGameJam2024
NicEastvillage/AoC-24-Odin
Advent of Code 2024 in Odin
NicEastvillage/DGShieldPrototype
Prototype of dependency-graph-based algorithm incorporating partition refinement to compute shields
NicEastvillage/discord-bot
Discord bot for the RLBot discord server
NicEastvillage/DynamicExtrapolationDataArtifact
Data artifact for paper 'Dynamic Extrapolation in Extended Timed Automata'
NicEastvillage/fritfit
#fritfit
NicEastvillage/GridentifyBotKt
A bot for gridentify.com
NicEastvillage/python-interface
A high performance Python interface for communicating with RLBot v5.
NicEastvillage/RedUtils
A set of tools for making RLBots
NicEastvillage/RLBot-Manticore
A bot for Rocket League made using RLBot. An brother to Beast from the East
NicEastvillage/RLBot-Phoenix
Rocket League bot written in Kotlin using the RLBot framework
NicEastvillage/RLBot-Typeracer
A Rocket League meme bot about typing words fast by picking up boost pads. Made for axelalex2's Memebot tournament.
NicEastvillage/rlbot_flatbuffers_py
A Python module implemented in Rust for serializing and deserializing RLBot's flatbuffers
NicEastvillage/RLBotRustTemplateBot
A template for Rocket League bots made in Rust
NicEastvillage/simple-xml
A simple xml parser in rust
NicEastvillage/SimpleFaceGen
A small util to generate simple faces
NicEastvillage/tapaal-gui
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
NicEastvillage/uppaal-models
Uppaal Model Repository
NicEastvillage/utap
Uppaal Timed Automata Parser
NicEastvillage/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
NicEastvillage/ZigRayTracer
A ray tracer made in Zig using raylib