Beast code in Giters

Toine Hartman's repositories

pygments-mcrl2

Language:Python2 10

datamining_lab

Language:Java1 2 25

advent-of-code

A Haskell project for Advent of Code solutions.

Language:HaskellBSD-3-Clause000

BW4T

Our implementation of the Blocks World 4 Teams Multi Agent System.

000

ComputationalIntelligence

Language:Java030

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptNOASSERTION000

paalsheet

Language:JavaScript020

Euler

All my scripts to solve Project Euler problems.

Language:Python010

gyoza

A collection of AVR-based simple synthesizers

Language:C010

homebrew-formulae

Language:Ruby010

homebrew-metaborg

Metaborg Homebrew Tap

Language:Ruby010

latexmerge

Language:Python010

librosa

Python library for audio and music analysis

Language:PythonISC000

mcrl2-docker

Language:Dockerfile010

OOP-Project-C15_2

Voetbalmanager van team C15_2

Language:Java05 2

pr

000

prezto

The configuration framework for Zsh

Language:ShellMIT000

prtools

Prtools for Python

Language:Python010

Routeplanner

A route planner for a school project, works only with 5 by 5 grids.

Language:C010

sdf

Language:JavaApache-2.0000

spoofax

Spoofax runtime

Apache-2.0000

spoofax-releng

Metaborg Release Engineering

Language:ShellApache-2.0000

spt

Apache-2.0000

stratego

Language:Jupyter NotebookApache-2.0000

uncrowded-hypervolume

Multi-objective optimization based on the Uncrowded Hypervolume

Language:C++LGPL-3.0000