Pinned Repositories
3fx-blog
Blog for 3fx.ch
ansible-mutt
Ansible role configuring mutt and offlineimap for sending mail including automatic mail syncronization.
ansible-prometheus-bird-exporter
Ansible role to install and configure prometheus-bird-exporter
ansible-sway
Ansible role to install and configure sway
chandy-lamport-formalization
A formalization of the Chandy-Lamport algorithm in Isabelle/HOL
coc-isabelle
Because PIDE is not my editor.
d3servercheck
OS-specific scripts to check if the D3 game server you are connected to is buggy.
isabelle.vim
NeoVim extension used in conjunction with coc-isabelle
lutils
Plaintext accounting utils for ledger, hledger and friends
ross
ThreeFx's Repositories
ThreeFx/ETH
A work in progress of my studies.
ThreeFx/ExpressionParser
Expression Parser written in PASCAL.
ThreeFx/Hungarian
A wrapper for Haskell's Hungarian Library for project assignment.
ThreeFx/LightingSystem
Software for microcontrollers to determine light output and color permeability.
ThreeFx/relalg
A relational algebra interpreter for testing.
ThreeFx/33-bwinf-runde2
ThreeFx/aiv-hungarian
ThreeFx/ansible-base
An Ansible role aimed to configure basic system components under Debian Linux.
ThreeFx/ansible-network
An ansible role for configuring network settings.
ThreeFx/ansible-pihole
Role to set up pihole on a fresh Rasbian install
ThreeFx/ansible-unifi
Sets up an unifi control server.
ThreeFx/ansible-x
An ansible role configuring an X-server based setup.
ThreeFx/Automata
Automata in Pascal
ThreeFx/CodingChallenges
A collection of boilerplate code in different languages for programming contests.
ThreeFx/counter-app
A counter app written for a Beekeeper docker workshop.
ThreeFx/docker-wine-steam
Docker image with wine, steam and steam games on the local host with graphical and audio support.
ThreeFx/foundation
a new hope
ThreeFx/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
ThreeFx/Haskolf
A golfing language based on Haskell.
ThreeFx/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
ThreeFx/lernzettel
Lernzettel fur mein Studium.
ThreeFx/migros-simulation
Migros simulation for cookies.
ThreeFx/networks2tester
Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all your next_hops are correct).