-
calimoto GmbH
- Germany/Potsdam
- https://rtzptz.xyz/
- @the_ratzeputz
Stars
A fancy self-hosted monitoring tool
PHP+Python scripts for building simple server with hillshade tiles
A Coq IDE build on top of Proof General's Coq mode
Pico is a stupidly simple, blazing fast, flat file CMS.
music library manager and MusicBrainz tagger
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
An ergonomic library for programatically generating LaTeX documents and reports.
A Rust Interface to the Linux sysfs GPIO interface (https://www.kernel.org/doc/Documentation/gpio/sysfs.txt)
rvesse / airline
Forked from airlift/airlineJava annotation-based framework for parsing Git like command line structures with deep extensibility
A list of useful Java frameworks, libraries, software and hello worlds examples
shell-pop.el helps you to use shell easily on Emacs. Only one key action to work.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.