blob: 644e45cd23bd278cd0b1be0075affba9f7d8fd5e (
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
|
@admin = ymherklotz
@mirrored-repos = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm
@mirrored-repos = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex
@active = @mirrored-repos 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 @mirrored-repos
option hook.post-update = github-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 private/formal_hls
RW+ = ymherklotz
|