tkren

followers

following

stars

@aiven

https://www.postsubmeta.net

Organizations

hexhex

Thomas Krennwallner's repositories

wake-on-lan

wol, the Wake On Lan client

Language:C4 2 1

vcwc

Versioning Competition Workflow Compiler

Language:Shell3 40

aiven-pg-security

Aiven PostgreSQL® add-on for adding some DBaaS security

Language:CPostgreSQL000

bool2cnf

A tool for converting a boolean formula into CNF

Language:C020

chuffed

The Chuffed CP solver

Language:C++MIT020

clasp

A conflict-driven nogood learning answer set solver

Language:C++MIT020

clingo

A grounder and solver for logic programs.

Language:C++MIT030

cpython

The Python programming language

Language:PythonNOASSERTION020

cryophile

cryophile, the off-site backup solution for extremophiles written in Rust

Language:RustNOASSERTION000

depqbf

DepQBF, a solver for quantified boolean formulae (QBF).

Language:CGPL-3.0020

dotfiles

dotfiles managed with https://chezmoi.io/

Language:Shell020

pgagent

Mirror of the pgagent project

Language:CMakeNOASSERTION020

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Language:CNOASSERTION000

libartnet

An Open Source implementation of the ArtNet protocol

Language:CLGPL-2.1020

libpotassco

A utility library used by various potassco projects

Language:C++NOASSERTION020

metabasic

Dead simple client for interacting with the Metabase dataset API

Language:PythonMIT010

pycparser

:snake: Complete C99 parser in pure Python

Language:PythonNOASSERTION020

rabbitmq-c

RabbitMQ C client

Language:CNOASSERTION020

rabbitmq-management

RabbitMQ Management UI and HTTP API

Language:ErlangNOASSERTION000

rohmu

Python library for database backups

Apache-2.0000

thread_io

Rust crate for performing I/O in background thread

MIT000

tkren

Public profile

010