blob: 091e9986ca90b79026605b8ee069c0bc742ad468 (
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
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
|
@admin = ymherklotz
@forks = forks/smtcoq forks/picorv32
@github-mirror = leela Vivant alluvial-hs pfm
@github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex
@github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith
@github-srht-mirror = compcert
@srht-mirror = ymh-emacs butterstick choc hugo-ymherklotz yannherklotz.com
@srht-mirror = vericert-kvx ymhg-notes ox-tufte private/zk private/biteq compcert-kvx
@srht-mirror = org-zettelkasten zk-visual zk-web zk-theme
@pred-tv-mirror = cohpred forks/smtcoq
@compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr
@active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @compcertgsa @pred-tv-mirror
@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 private/..*
C = ymherklotz
RW+ = ymherklotz
R = ymherklotz
owner = Yann Herklotz
repo presentation/..*
C = ymherklotz
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
repo papers/..*
C = ymherklotz
RW+ = ymherklotz
owner = Yann Herklotz
repo @compcertgsa
C = ymherklotz
RW+ = ymherklotz
owner = Yann Herklotz
repo @forks
RW+ = ymherklotz
R = all
owner = Yann Herklotz
repo @zzz @active
RW+ = ymherklotz
R = @all
owner = Yann Herklotz
repo @github-mirror
option hook.post-receive = github-mirror
repo @github-srht-mirror
option hook.post-receive = github-mirror srht-mirror
repo @srht-mirror
option hook.post-receive = srht-mirror
repo @pred-tv-mirror
option hook.post-receive = srht-mirror pred-tv-mirror
repo private/zk
desc = Zettelkasten.
repo ymhg-notes
desc = Public notes that are shared.
repo vericert
desc = Vericert is a formally verified high-level synthesis tool.
repo vericert-docs
desc = Documentation for Vericert.
repo choc
desc = An implementation of the Calculus of Construction.
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 compcert
desc = CompCert fork with minor modifications for Vericert.
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 yannherklotz.com
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/fccm22_rsvhls
desc = Resource sharing for verified high-level synthesis.
repo papers/oopsla21_fvhls
desc = Formal verification of high-level synthesis.
repo papers/fccm21_esrhls
desc = Empirical study of the reliability of high-level synthesis.
repo papers/fpga20_fubfst
desc = Finding and understanding bugs in FPGA synthesis tools.
repo papers/latte21_hlstpc
desc = High-level synthesis tools should be proven correct.
repo forks/picorv32
desc = Fork of https://github.com/YosysHQ/picorv32.
repo forks/smtcoq
desc = Fork of https://github.com/smtcoq/smtcoq.
|
