Name: Karolin Varner
Type: User
Company: Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto
Bio: https://twitter.com/dakoraa
Location: Europa, Saturn System, The Universe
Blog: http://cupdev.net
Karolin Varner's Projects
Trace stdin/signals as fast as possible. Now working.
Automata,js is a framework for web-based cellular automats
🖥 📊 🕹 🛠 A curated list of command line apps
:sunglasses: A curated list of awesome functional programming stuff in js
🐢 A collection of awesome browser-side JavaScript libraries, resources and shiny things.
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
Themes for Twitter Bootstrap
Im receiving lessons in Unix/Networjs at school. This is what emerges during these lessons. (Not necessarily affiliated with the lessons)
Experiments in generating a lot of uuids
Some features I've been missing in btrfs (dont use…yet)
Im receiving lessons in C at school. This is what I code during those lessons. (Not necessarily affiliated with the lessons),
Integrating ChatGPT into your browser deeply, everything you need is here
Chentropy is a samll tool written in C that formats randomness ASCII-Friendly
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
JavaScript Game Engine
This is the repository for my website on cupdev.net
Achieving security against fuzzing and improving bandwidth efficiency by combining FEC and symmetric encryption.
Delay the execution of a programm with signals
:zap: Lodash inspired JSDoc 3 template/theme
Automatically exported from code.google.com/p/ez2scm
Small script to deduplicate your FS using hardlinks with the output of dedupes
Twitter's bootstrap in wordpress theme form - Updated for v2.0 of bootstrap.