Pinned Repositories
prtools
Prtools for Python
raytracer
RayTracer for Computer Graphics course
Desoxyribonucleinezuur
advent-of-code
A Haskell project for Advent of Code solutions.
BW4T
Our implementation of the Blocks World 4 Teams Multi Agent System.
ComputationalIntelligence
datamining_lab
DefinitelyTyped
The repository for high quality TypeScript type definitions.
pygments-mcrl2
toinehartman's Repositories
toinehartman/pygments-mcrl2
toinehartman/datamining_lab
toinehartman/advent-of-code
A Haskell project for Advent of Code solutions.
toinehartman/BW4T
Our implementation of the Blocks World 4 Teams Multi Agent System.
toinehartman/ComputationalIntelligence
toinehartman/DefinitelyTyped
The repository for high quality TypeScript type definitions.
toinehartman/paalsheet
toinehartman/Euler
All my scripts to solve Project Euler problems.
toinehartman/gyoza
A collection of AVR-based simple synthesizers
toinehartman/homebrew-formulae
toinehartman/homebrew-metaborg
Metaborg Homebrew Tap
toinehartman/latexmerge
toinehartman/librosa
Python library for audio and music analysis
toinehartman/mcrl2-docker
toinehartman/OOP-Project-C15_2
Voetbalmanager van team C15_2
toinehartman/pr
toinehartman/prezto
The configuration framework for Zsh
toinehartman/prtools
Prtools for Python
toinehartman/Routeplanner
A route planner for a school project, works only with 5 by 5 grids.
toinehartman/sdf
toinehartman/spoofax
Spoofax runtime
toinehartman/spoofax-releng
Metaborg Release Engineering
toinehartman/spt
toinehartman/stratego
toinehartman/uncrowded-hypervolume
Multi-objective optimization based on the Uncrowded Hypervolume