blob: f329d284811aa1d2eba7586941b48327fb5e3065 (
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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
@admin = ymherklotz
@github-mirror = dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm
@github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex
@srht-mirror = vericert vericert-docs
@gitlab-mirror = hugo-ymherklotz ymherklotz.gitlab.io
@active = @github-mirror @srht-mirror @gitlab-mirror ymherklotz/gsa-mlir
@zzz = zzz/TicTacToe zzz/Arider zzz/WaveGenerator zzz/ChessAI
@zzz = zzz/NumericalAnalysis zzz/PriorityQueue zzz/BinaryTree
@zzz = zzz/NetworkCoursework zzz/DatabaseCoursework zzz/FPGA_Playground
@zzz = zzz/Cardeval zzz/SwitchPCB zzz/A-star-algorithm zzz/VerilogCoursework
@zzz = zzz/second-year-computing zzz/FPGA-2015 zzz/sudoku_solver
@zzz = zzz/imperial_2015 zzz/NoteReader zzz/verilog zzz/NoiseSilencer
@zzz = zzz/dot_product zzz/sobel_filter
repo CREATOR/..*
C = @all
RW+ = CREATOR
RW = WRITERS
R = READERS
repo gitolite-admin
RW+ = @admin
repo @all
R = gitweb daemon
repo @zzz @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 @srht-mirror
option hook.post-update = github-mirror srht-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 zzz/verilog
desc = Repository with some Verilog designs used to learn Verilog simulation.
repo zzz/NoteReader
desc = C++ implementation using OpenCV to read sheet music and print machine-readable sheet music.
repo zzz/imperial_2015
desc = A repository with code from my first year at university.
repo zzz/sobel_filter
desc = A sobel filter implementation for FPGAs implemented using Catapult C.
repo zzz/dot_product
desc = An implementation of a dotproduct for FPGAs using Catapult C.
repo zzz/sudoku_solver
desc = A simple, brute-force Sudoku solver.
repo zzz/FPGA-2015
desc = A collection of Quartus projects to learn FPGA design.
repo zzz/second-year-computing
desc = A repository containing code while learning data-structures and algorithms.
repo zzz/BinaryTree
desc = An implementation of a binary tree in C++.
repo zzz/A-star-algorithm
desc = an A-star algorithm implementation with a UI.
repo papers/oopsla21_fvhls
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
desc = Formal verification of high-level synthesis.
repo papers/fccm21_esrhls
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
desc = Empirical study of the reliability of high-level synthesis.
repo papers/fpga20_fubfst
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
desc = Finding and understanding bugs in FPGA synthesis tools.
repo papers/latte21_hlstpc
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
desc = High-level synthesis tools should be proven correct.
|