blob: 2dca59a9e3c49fd0392b73fdac5f81ae59618cf3 (
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
@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 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 private/formal_hls
RW+ = ymherklotz
|