@admin = ymherklotz

@github-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm
@github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex

@gitlab-mirror = hugo-ymherklotz ymherklotz.gitlab.io

@active = @github-mirror @gitlab-mirror ymherklotz/gsa-mlir

@archive = archive/TicTacToe archive/Arider archive/WaveGenerator archive/ChessAI
@archive = archive/NumericalAnalysis archive/PriorityQueue archive/BinaryTree
@archive = archive/NetworkCoursework archive/DatabaseCoursework archive/FPGA_Playground
@archive = archive/Cardeval archive/SwitchPCB archive/A-star-algorithm archive/VerilogCoursework
@archive = archive/second-year-computing archive/FPGA-2015 archive/sudoku_solver
@archive = archive/imperial_2015 archive/NoteReader archive/verilog archive/NoiseSilencer
@archive = archive/dot_product archive/sobel_filter

repo CREATOR/..*
    C   = @all
    RW+ = CREATOR
    RW  = WRITERS
    R   = READERS

repo gitolite-admin
    RW+ = @admin

repo @all
    R   = gitweb daemon

repo @archive @active
    RW+   = ymherklotz
    R     = @all
    owner = Yann Herklotz

repo @github-mirror
    option hook.post-update = github-mirror

repo @gitlab-mirror
    option hook.post-update = gitlab-mirror

repo vericert
    desc = Vericert is a formally verified high-level synthesis tool.

repo vericert-docs
    desc = Documentation for Vericert.

repo dotfiles
    desc = Dotfiles for Linux and Macos.

repo emacs-zettelkasten
    desc = Simple zettelkasten mode for emacs.

repo verismith
    desc = Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

repo leela
    desc = Ray tracer written in pure rust running on the CPU.

repo Vivant
    desc = OpenGL low-poly terrain generation written in Haskell.

repo alluvial-hs
    desc = Alluvial diagram generation for Tex using Haskell.

repo FMark
    desc = Commonmark parser written in F sharp with various extensions added such as macros.

repo median-cut
    desc = Median cut illumination map generation implementation implemented in Haskell.

repo mirror-ball
    desc = Mirror ball ray tracing implementation.

repo pfm
    desc = Haskell parser for the pfm file format for HDR images.

repo YAGE
    desc = YAGE game engine implementation.

repo MipsCPU
    desc = Cycle accurate MIPS CPU simulation.

repo Compiler
    desc = MIPS Compiler implemented in standard C++.

repo Simplex
    desc = Simplex algorithm implementation for integer linear programming.

repo ymherklotz.gitlab.io
    desc = Personal website hosted at https://yannherklotz.com.

repo hugo-ymherklotz
    desc = Custom Hugo theme for https://yannherklotz.com.

repo archive/verilog
    desc = Repository with some Verilog designs used to learn Verilog simulation.

repo archive/NoteReader
    desc = C++ implementation using OpenCV to read sheet music and print machine-readable sheet music.

repo archive/Imperial_2015
    desc = A repository with code from my first year at university.

repo archive/sobel_filter
    desc = A sobel filter implementation for FPGAs implemented using Catapult C.

repo archive/dot_product
    desc = An implementation of a dotproduct for FPGAs using Catapult C.

repo archive/sudoku_solver
    desc = A simple, brute-force Sudoku solver.

repo archive/FPGA-2015
    desc = A collection of Quartus projects to learn FPGA design.

repo archive/second-year-computing
    desc = A repository containing code while learning data-structures and algorithms.

repo archive/BinaryTree
    desc = An implementation of a binary tree in C++.

repo archive/A-star-algorithm
    desc = an A-star algorithm implementation with a UI.

repo private/formal_hls
    RW+ = ymherklotz