cheriimoya Goto Github PK

jchat

jchatandroid

kit-ilias-downloader

Downloader for https://ilias.studium.kit.edu/

latex-box

Lightweight Toolbox for LaTeX - New Official repository

lecture-material

Material for the Simulation Software Engineering Lecture

linux

Linux kernel source tree

linuxworkshop

lmrpos

POS system for LMR

manifest

mininet

Emulator for rapid prototyping of Software Defined Networks

nixos-generators

Collection of image builders [maintainer=@Lassulus]

nixos-showcasing

nixos_workshop

nixosk

Easy setup of a browserkiosk running on NixOS

nixpkgs

Nix Packages collection

ofsoftswitch13

OpenFlow 1.3 switch.

ohmyzsh

🙃 A delightful community-driven (with 1800+ contributors) framework for managing your zsh configuration. Includes nearly 300 optional plugins (rails, git, OSX, hub, docker, homebrew, node, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

openfoam-adapter

OpenFOAM-preCICE adapter

opentosca-docker

Docker Compose for running OpenTOSCA

opentosca-nix

precice.github.io

The website of preCICE

private-git-ssh-nix-fetcher

Fetch private Git repos with ssh keys using Nix

pyscard

pyscard smartcard library for python

raspios_patcher

Download and patch raspios.

reddit2telegram

Bot to supply telegram channel with hot reddit submissions

reveal.js

The HTML Presentation Framework

rkvm

Virtual KVM switch for Linux machines

robotnix

Build Android (AOSP) using Nix

robotnix-hydra

rust-by-example

Learn Rust with examples (Live code editor included)