Giters
Andreas Stührk (Trundle)

Trundle

Geek Repo

46

followers

18

following

86

stars

Company:@yaxitech

Home Page:https://andy.hammerhartes.de/

Twitter:@Tr_ndle

Github PK Tool:Github PK Tool

Organizations
bpython
nix-community
NixOS
yaxitech

Andreas Stührk's starred repositories

post-mortems

A collection of postmortems. Sorry for the delay in merging PRs!

Stargazers:11142Issues:557Issues:0

broot

A new way to see and navigate directory trees : https://dystroy.org/broot

Language:RustLicense:MITStargazers:10276Issues:54Issues:664

async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Language:C++License:Apache-2.0Stargazers:7242Issues:180Issues:640

thelounge

💬 ‎ Modern, responsive, cross-platform, self-hosted web IRC client

Language:TypeScriptLicense:MITStargazers:5453Issues:77Issues:1492

img

Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.

Language:GoLicense:MITStargazers:3869Issues:52Issues:247

pytest-testinfra

Testinfra test your infrastructures

Language:PythonLicense:Apache-2.0Stargazers:2334Issues:76Issues:347

wsl2-hacks

Useful snippets / tools for using WSL2 as a development environment

Language:ShellStargazers:1278Issues:40Issues:25

enarx

Enarx: Confidential Computing with WebAssembly

Language:RustLicense:Apache-2.0Stargazers:1257Issues:35Issues:1095

nixos-infect

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

Language:ShellLicense:GPL-3.0Stargazers:1212Issues:14Issues:71

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language:HaskellLicense:Apache-2.0Stargazers:978Issues:27Issues:21

deadnix

Scan Nix files for dead code

Language:RustLicense:GPL-3.0Stargazers:433Issues:6Issues:19

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.

Language:ScalaLicense:CC-BY-SA-4.0Stargazers:378Issues:21Issues:30

ragenix

age-encrypted secrets for NixOS; drop-in replacement for agenix

Language:RustLicense:Apache-2.0Stargazers:206Issues:9Issues:11

pie-hs

An implementation of Pie in Haskell

Language:HaskellLicense:AGPL-3.0Stargazers:199Issues:14Issues:10

c2hs

c2hs is a pre-processor for Haskell FFI bindings to C libraries

Language:HaskellLicense:NOASSERTIONStargazers:197Issues:17Issues:233

tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.

Language:JavaScriptLicense:MITStargazers:195Issues:4Issues:4

terse-logback

Structured Logging, Tracing, and Observability with Logback

Language:JavaLicense:NOASSERTIONStargazers:195Issues:7Issues:10

dinghy

A GitHub activity digest tool

Language:PythonLicense:Apache-2.0Stargazers:182Issues:7Issues:29

deli

Language:HaskellLicense:BSD-3-ClauseStargazers:166Issues:275Issues:1

Idris2-Erlang

Erlang code generator for Idris 2

Language:IdrisLicense:NOASSERTIONStargazers:140Issues:12Issues:8

cpkg

A build tool/package manager for C, configured with Dhall

Language:DhallLicense:BSD-3-ClauseStargazers:65Issues:8Issues:3

devicecheck-appattest

Server-side library to validate the authenticity of Apple App Attest artifacts, written in Kotlin.

Language:KotlinLicense:Apache-2.0Stargazers:60Issues:8Issues:11

pinboard.el

A pinboard.in client for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:41Issues:4Issues:13

mushroom

Run integrity protected workloads in a hardware based Trusted Execution Environment.

Language:RustLicense:MITStargazers:14Issues:5Issues:0

Sisyphos

Declarative UI testing for both iOS and macOS

Language:SwiftLicense:Apache-2.0Stargazers:13Issues:2Issues:0

nix-install-pkgs-action

A GitHub Action to install flake packages using an ephemeral Nix profile

Language:TypeScriptLicense:Apache-2.0Stargazers:7Issues:6Issues:5

TIL

Today I Learned

Stargazers:2Issues:2Issues:0

tree-sitter-ponylang

treesitter support for ponylang

Language:CLicense:MITStargazers:2Issues:1Issues:2

python-picnic

Python bindings for Picnic

Language:PythonLicense:MITStargazers:2Issues:3Issues:0

freesound-crossmodal-search

Find sounds with a text-to-audio retrieval system

Language:PythonStargazers:1Issues:0Issues:0