Pinned Repositories
adblockdk
Fork of http://adblock.schack.dk/block.txt as of 2014-02-08 created for community contributions.
chinese-support-redux
Anki add-on providing support for Chinese study
eu_to_ch
jana
An interpreter for Janus, the reversible programming language.
MongoDB-Coding-Challenge
My solution to MongoDB's coding challenge.
MongoDB-Coding-Challenge.JS
Myrekrig-2011
A playground for everyone who want to play along.
prolog-cheatsheet
thesis
Master thesis by Ulrik and Einar Source code for master thesis by Ulrik Elmelund and Einar Rasmussen. The report can be found at: https://github.com/einar-io/thesis-report/
Sword
Sword — A financial derivative language for the blockchain
einar-io's Repositories
einar-io/Myrekrig-2011
A playground for everyone who want to play along.
einar-io/eu_to_ch
einar-io/chinese-support-redux
Anki add-on providing support for Chinese study
einar-io/jana
An interpreter for Janus, the reversible programming language.
einar-io/prolog-cheatsheet
einar-io/adblockdk
Fork of http://adblock.schack.dk/block.txt as of 2014-02-08 created for community contributions.
einar-io/codecombat
Multiplayer programming game for learning how to code.
einar-io/MongoDB-Coding-Challenge
My solution to MongoDB's coding challenge.
einar-io/MongoDB-Coding-Challenge.JS
einar-io/thesis
Master thesis by Ulrik and Einar Source code for master thesis by Ulrik Elmelund and Einar Rasmussen. The report can be found at: https://github.com/einar-io/thesis-report/
einar-io/AdditiveSecretSharing
MPC MVP
einar-io/benchmark
A microbenchmark support library
einar-io/BFAST
einar-io/economics
Collection of economic resources introducing neoclassical and Austrian economics
einar-io/EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
einar-io/einar-io
einar-io/futhark
:boom::computer::boom: A data-parallel functional programming language
einar-io/futhark-book
Parallel Programming in Futhark
einar-io/home
My configuration files
einar-io/infoscreen
Software for informational monitors
einar-io/kindle-screenshot-server
A service to create Kindle-ready web page screenshots
einar-io/OverTheWire-website
OverTheWire website
einar-io/ruby-continuation-webapp
Proof-of-concept continuation-based Sinatra webapp.
einar-io/spec
WebAssembly specification, reference interpreter, and test suite.
einar-io/tpkbdctl
Thinkpad USB Keyboard Control Tool
einar-io/ucph.dk
Gitgrube for ucph.dk
einar-io/vim-sensible
sensible.vim: Defaults everyone can agree on
einar-io/vim-textobj-latex
Vim text objects for LaTeX code
einar-io/write-good
Naive linter for English prose
einar-io/zfft
ZFFT