Skip to content
View kryonix's full-sized avatar
  • University of Tübingen
  • Germany

Highlights

  • Pro

Block or report kryonix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

This is my personal template collection. Here you'll find templates, and configurations for various tools, and technologies.

Python 7,278 1,826 Updated Dec 21, 2025

The SQL Standards Project aims to create consensus in SQL semantics

Python 47 7 Updated Oct 17, 2024

A minimalist generative art thing – press the buttons and play with the sliders!

JavaScript 201 7 Updated Feb 19, 2025

SSA vs ANF

Haskell 47 2 Updated Jul 20, 2015

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

TeX 148 21 Updated Jul 31, 2020

Dockerfile for Standalone Tableau Hyper Database

Dockerfile 5 Updated Aug 11, 2019

The Self-Driving Database Management System

C++ 2,046 620 Updated May 15, 2019

VIM - the one true text editor.

Vim Script 6 Updated Aug 21, 2019

Hyrise is a research in-memory database.

C++ 854 166 Updated Dec 21, 2025

DuckDB is an analytical in-process SQL database management system

C++ 34,901 2,801 Updated Dec 21, 2025

PostgreSQL extension for automated execution plan tuning

C 113 15 Updated May 27, 2024

Functional programming and type systems

128 22 Updated Oct 2, 2015

Examples of Dependently-typed programs in Haskell

Haskell 307 26 Updated Oct 18, 2022

Easy insertion of unicode math symbols

Python 50 12 Updated Feb 9, 2023

Unofficial documentation for PostgreSQL hooks

Python 209 35 Updated Apr 7, 2023

A by-the-book small but fully functional compiler written in Java

Java 30 13 Updated Mar 21, 2013

Save and restore query plans in PostgreSQL

C 63 11 Updated Aug 1, 2022

plpgsql_check is a linter tool (does source code static analyze) for the PostgreSQL language plpgsql (the native language for PostgreSQL store procedures).

C 727 55 Updated Dec 20, 2025