Pinned Repositories
ant
ant is not TeX
Cache
Simple Mechanisms for caching things in C++
fizzbuzz
C vs C-Preprocessor speed
gcb
Geisteskrank
Idris-dev
A Dependently Typed Functional Programming Language
Idris.Yaml
Idris YAML lib
KeePassKit
KeePass Database loading, storing and manipulation framework
learn-anything
🌍 Search Interactive Mind Maps to learn anything
Miko4's Repositories
Miko4/ant
ant is not TeX
Miko4/Cache
Simple Mechanisms for caching things in C++
Miko4/fizzbuzz
C vs C-Preprocessor speed
Miko4/gcb
Geisteskrank
Miko4/Idris-dev
A Dependently Typed Functional Programming Language
Miko4/Idris.Yaml
Idris YAML lib
Miko4/KeePassKit
KeePass Database loading, storing and manipulation framework
Miko4/learn-anything
🌍 Search Interactive Mind Maps to learn anything
Miko4/nimutils
Unix userland programms (like gnu coreutils) in Nim
Miko4/nixpkgs
Nix Packages collection
Miko4/node9
A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv
Miko4/SharedReference
A std::shared_pointer-alike smart pointer that is guaranteed to be not null.
Miko4/ThreadingHelpers
Miko4/travistest
Miko4/tufte-jekyll
Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books