blob: 451d70b86810bfcab9e714b0f1e183939b1f59eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
@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
|