MaxWipfli/aufloes
Aufloes is a DNS stub resolver implementing the secure DNS-over-HTTPS (DoH) protocol for upstream requests.
studying Electrical Engineering and Information Technology
Aufloes is a DNS stub resolver implementing the secure DNS-over-HTTPS (DoH) protocol for upstream requests.
This is the fork of CVA6 intended for PULP development.
A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
OpenRailwayMap vector tiles
AXI interface modules for Cocotb
Infrastructure as code for DNS!
Tool to generate swiss e-steuerauszug from banking exports
SwissTransitDisplay is a PHP web application which show departures from a Swiss transit stop in realtime.
Run nixpkgs-review in GitHub Actions
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Nix Packages collection & NixOS
Verilator open-source SystemVerilog simulator and lint system
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
Common SystemVerilog components
A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.
Lake is a work-in-progress C++ base library aiming to provide basic functionalities like containers, iterators, strings, smart pointers etc.
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
Docker image generation for Xilinx Petalinux Tools
The Serenity Operating System 🐞
SystemVerilog compiler and language services
My solutions for Advent of Code 2022
zoomlaunch is a python command line tool to launch Zoom meetings.