Tuplanolla
I am a doctoral student working on computer science and computational physics.
University of JyväskyläFinland
Pinned Repositories
coq
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.
adom-tas
Tools for speedrunning ADoM (Ancient Domains of Mystery)
bike-rack
Plans for wooden bicycle racks.
brittle-matter-matters
Implementation of a force-based discrete element method as applied to shearing brittle surfaces.
cheat
Convenient unit testing framework for the C programming language.
dez
Formalization of discrete exterior calculus.
gcc-weverything
The option -Weverything for GCC
pen-of-pigs
Simplified implementation of the path integral ground state quantum Monte Carlo method.
tmvs
Temperature and moisture visualization system for building automation.
xfce4-extra
Extra features for Xfce version 4
Tuplanolla's Repositories
Tuplanolla/cheat
Convenient unit testing framework for the C programming language.
Tuplanolla/gcc-weverything
The option -Weverything for GCC
Tuplanolla/dez
Formalization of discrete exterior calculus.
Tuplanolla/bike-rack
Plans for wooden bicycle racks.
Tuplanolla/uncover
A tiny JavaScript framework for turning any website into slides
Tuplanolla/brittle-matter-matters
Implementation of a force-based discrete element method as applied to shearing brittle surfaces.
Tuplanolla/pen-of-pigs
Simplified implementation of the path integral ground state quantum Monte Carlo method.
Tuplanolla/tmvs
Temperature and moisture visualization system for building automation.
Tuplanolla/composition-98
Composition 98
Tuplanolla/config
Polished and reusable configuration files for various programs.
Tuplanolla/contents
Plans for something
Tuplanolla/contrastinator
A hack to improve the readability of thin fonts in Evince
Tuplanolla/coq-ltac-iter
Access hint databases from tactics.
Tuplanolla/coqidefix
Hack for using a custom color theme with a dark background in CoqIDE
Tuplanolla/eigenlanguage
A programming language prototype
Tuplanolla/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
Tuplanolla/fenderkit
Adjustable mounts for SKS Shockblade fenders.
Tuplanolla/ghci-on-steroids
A shell script collection for configuring GHCi on the fly
Tuplanolla/guitar-parts
Replacement parts for a classical guitar manufactured by Landola.
Tuplanolla/hacklab-jkl-logo
Logo for the Hacklab Jyväskylä makerspace.
Tuplanolla/jyu-cls
Assorted LaTeX document classes for students and staff of the University of Jyväskylä.
Tuplanolla/ld-prehaskell
A template for hooking and instrumenting dynamically linked code with Haskell
Tuplanolla/prelewd
Parametric polymorphism using the C preprocessor, as a joke.
Tuplanolla/speedrun-stats
Silly speedrun statistics
Tuplanolla/ties341-classes
Lecture notes about type classes
Tuplanolla/ties341-parsing
Lecture notes about parsing
Tuplanolla/ties341-profiling
Lecture notes about profiling
Tuplanolla/ties341-schemes
Lecture notes about recursion schemes
Tuplanolla/ties341-unsafe
Lecture notes about unsafe and foreign code
Tuplanolla/voting-topics
Converting GraphViz diagrams into online voting systems