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,421 1,829 Updated Feb 5, 2026

The SQL Standards Project aims to create consensus in SQL semantics

Python 48 7 Updated Oct 17, 2024

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

JavaScript 210 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 150 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,048 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++ 858 172 Updated Feb 4, 2026

DuckDB is an analytical in-process SQL database management system

C++ 35,894 2,903 Updated Feb 5, 2026

PostgreSQL extension for automated execution plan tuning

C 115 16 Updated May 27, 2024

Functional programming and type systems

131 23 Updated Oct 2, 2015

Examples of Dependently-typed programs in Haskell

Haskell 308 26 Updated Oct 18, 2022

Easy insertion of unicode math symbols

Python 50 12 Updated Feb 9, 2023

Unofficial documentation for PostgreSQL hooks

Python 210 36 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 12 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 738 56 Updated Feb 5, 2026