Pinned Repositories
angularjs-play
automerge
A JSON-like data structure that can be modified concurrently by different users, and merged again automatically.
jaromirmuller's Repositories
jaromirmuller/automerge
A JSON-like data structure that can be modified concurrently by different users, and merged again automatically.
jaromirmuller/baseline-box
Provides basic SHELL + PUPPET recepies to create basic development box
jaromirmuller/baseline-playground
jaromirmuller/chase-rs
Async + Sync file-following for people who care about file rotations and line numbers.
jaromirmuller/crypto
jaromirmuller/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
jaromirmuller/docs
The MongoDB Documentation Project Source.
jaromirmuller/e2
Project that aims to simplify Erlang/OTP development and improve developer productivity
jaromirmuller/elasticsearch.rkt
Elasticsearch bindings for Racket
jaromirmuller/erlang.mk
A build tool for Erlang that just works.
jaromirmuller/flexsearch
Next-Generation full text search library for Browser and Node.js
jaromirmuller/fx-mt4-vs2012-playground-library
jaromirmuller/http
Racket support for HTTP 1.1.
jaromirmuller/jiffy
JSON NIFs for Erlang
jaromirmuller/lua-nginx-module
Embed the Power of Lua into NGINX HTTP servers
jaromirmuller/magento-console
An interactive PHP console for Magento.
jaromirmuller/magento-order-comment
[UNMAINTAINED] Magento extension that allows customer to specify optional comment during order placing.
jaromirmuller/magento2-force-login
Force Customer Login Module for Magento 2
jaromirmuller/nginx-mysql-module
MySQL support in NGINX
jaromirmuller/ngx_devel_kit
Nginx Development Kit - an Nginx module that adds additional generic tools that module developers can use in their own modules
jaromirmuller/palmtree
An implementation of Intel's concurrent B+Tree (Palm Tree)
jaromirmuller/piwik
Liberating Web Analytics. Star us on Github? +1. Piwik is the leading open alternative to Google Analytics that gives you full control over your data. Piwik lets you easily collect data from websites, apps & the IoT and visualise this data and extract insights. Privacy is built-in. We love Pull Requests!
jaromirmuller/racket-docker
Docker images for various Racket versions
jaromirmuller/racket-simple-xlsx
a Open Xml Spreadsheet Format(.xlsx) file tool for racket-lang
jaromirmuller/rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
jaromirmuller/redis-box
jaromirmuller/restclient
Erlang Rest Client
jaromirmuller/svg
Fast SVG in Elm
jaromirmuller/wiki
jaromirmuller/wren
The Wren Programming Language