Skip to content
View JJWRoeloffs's full-sized avatar
  • University of Luxembourg
  • Luxembourg
  • 16:29 (UTC +01:00)
  • LinkedIn in/jjwroeloffs

Block or report JJWRoeloffs

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JJWRoeloffs/README.md

Hello There

This is a github account I created for non-minecraft things. You'll find me working on machine learning and formal methods for my PhD. This is also the place I keep my dotfiles and some other fun personal projects. ^-^

Pinned Loading

  1. transcribe_align_textgrid transcribe_align_textgrid Public

    A small wrapper package around whisper-timestamped. Create force-aligned transcription TextGrids from raw audio!

    Python 18 3

  2. ci-group/learning_machines_robobo ci-group/learning_machines_robobo Public template

    Framework for the Learning Machines Course at VU Amsterdam

    Python 10 58

  3. dotfiles dotfiles Public

    There is no place like ~/

    Lua 5

  4. minictl minictl Public

    A small model checker for Computational Tree Logic

    Rust 1 1