Miko4

Pinned Repositories

ant
ant is not TeX
Language:C23 2 83
Cache
Simple Mechanisms for caching things in C++
00
fizzbuzz
C vs C-Preprocessor speed
Language:C++00
gcb
Geisteskrank
Language:C++00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00
Idris.Yaml
Idris YAML lib
Language:Idris00
KeePassKit
KeePass Database loading, storing and manipulation framework
Language:Objective-C00
learn-anything
🌍 Search Interactive Mind Maps to learn anything
Language:JavaScript00

Miko4's Repositories

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