NicEastvillage

Game dev, model checking, languages | MSc in Computer Science

Denmark

Pinned Repositories

cellmata
programming language for effectively writing cellular automata
Language:Kotlin50
CGAAL
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Language:Rust10 3 551
cleopetra
Tournament system tailored to the RLBot framework
Language:Java9 4 533
AutoLeague
An automatic league-runner for Rocket League bots (RLBot)
Language:Python22
AutoLeague2
A league runner for RLBot
Language:Python0 2 14
ChessHeavenAndHell
A sandbox for when traditional chess is not epic enough
Language:Go20
DMCC
Dat Minecraft Championship maps and datapacks
Language:mcfunction2 2 02
MsgPackBf
A MsgPack library in BeefLang.
Language:HyPhy6 3 00
RLBot-Beast
Rocket League bot
Language:Python83
Tron
Tron game mode for Rocket League using RLBot
Language:Python3 2 00

NicEastvillage's Repositories

NicEastvillage/RLBot-Beast
Rocket League bot
Language:Python83
NicEastvillage/MsgPackBf
A MsgPack library in BeefLang.
Language:HyPhy6 3 00
NicEastvillage/Tron
Tron game mode for Rocket League using RLBot
Language:Python3 2 00
NicEastvillage/ChessHeavenAndHell
A sandbox for when traditional chess is not epic enough
Language:Go20
NicEastvillage/DMCC
Dat Minecraft Championship maps and datapacks
Language:mcfunction2 2 02
NicEastvillage/RLBot-Snek
A bot for rocket league that only moves orthogonally
Language:Python21
NicEastvillage/RLBot-Dropshot-Dragon
A Rocket League bot for dropshot.
Language:Java1
NicEastvillage/SideSwipe
SideSwipe script for Rocket League using RLBot
Language:Python1
NicEastvillage/TheMissingGatekeepers
A data pack + resource pack that reworks Minecraft's progression
1
NicEastvillage/TMTemplateGen
Random checkpoints map generator for Trackmania 2020
Language:C#1
NicEastvillage/AutoLeague2
A league runner for RLBot
Language:Python0 2 14
NicEastvillage/Digest
A serialization and deserialization framework for Beef programming language
Language:HyPhy
NicEastvillage/discord-bot
Discord bot for the RLBot discord server
Language:Python
NicEastvillage/DynamicExtrapolationDataArtifact
Data artifact for paper 'Dynamic Extrapolation in Extended Timed Automata'
Language:Python
NicEastvillage/fritfit
#fritfit
Language:JavaScript1 0
NicEastvillage/GridentifyBotKt
A bot for gridentify.com
Language:Kotlin
NicEastvillage/MergeBot
Bot for game called Merge by Redox
Language:Rust
NicEastvillage/RedUtils
A set of tools for making RLBots
Language:C#
NicEastvillage/RLBot-Manticore
A bot for Rocket League made using RLBot. An brother to Beast from the East
Language:Python2
NicEastvillage/RLBot-Phoenix
Rocket League bot written in Kotlin using the RLBot framework
Language:Kotlin
NicEastvillage/RLBot-Typeracer
A Rocket League meme bot about typing words fast by picking up boost pads. Made for axelalex2's Memebot tournament.
Language:Kotlin
NicEastvillage/RLBotCastingNotes
Information about bots and botmakers to assist with casting during live broadcasts.
Language:HTML
NicEastvillage/RLBotPhoenixCS
A Rocket League bot made using RLBot and RedUtils
Language:C#
NicEastvillage/RLBotRustTemplateBot
A template for Rocket League bots made in Rust
Language:Python1
NicEastvillage/simple-xml
A simple xml parser in rust
NicEastvillage/SimpleFaceGen
A small util to generate simple faces
Language:Python1
NicEastvillage/tapaal-gui
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
Language:Java
NicEastvillage/uppaal-models
Uppaal Model Repository
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.
Language:C++
NicEastvillage/ZigRayTracer
A ray tracer made in Zig using raylib
Language:Zig