link to compcert
[web.git] / personal / projects / index.md
1 ---
2 title: Projects
3 ---
4
5 This page lists some of the tools I wrote, mostly for my own purposes:
6 To solve some issue I was having, or to facilitate my daily computer usage.
7 The tools were usually not written with general re-usability in mind.
8 But maybe you are having just the same problem as I did, in which case I hope they can be helpful.
9
10 * [LiLaSS](lilass/): A simple xrandr-based application to configure laptop screens on Linux. If you are using a
11   Laptop, frequently work both with and without an external screen, and you are not happy with
12   the configuration options your desktop provides, this may be for you.
13 * [dyn-nsupdate](dyn-nsupdate/): A tool to dynamically and securely update DNS zones via CGI.
14   This provides self-hosted DynDNS services.
15 * [zonemaker](zonemaker/): A small script to generate DNS zone files from Python.
16 * [schsh](schsh/): A collection of scripts and configuration files which can be used to grant
17   someone secure (SSH-based) access to a machine, without giving them a shell or read access
18   to the entire file system.
19 * [Rust-101](rust-101/): A small tutorial for the [Rust language](http://www.rust-lang.org).
20 * [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically.
21
22 For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/)
23 hosted on my server and my [GitHub profile](https://github.com/RalfJung/).