Beast code in Giters

Maximilian Huber's starred repositories

YouCompleteMe

A code-completion engine for Vim

Language:PythonGPL-3.025429 559 3244

vimium

The hacker's browser.

Language:JavaScriptMIT23129 289 3399

vim-pathogen

pathogen.vim: manage your runtimepath

Language:Vim ScriptVim12119 417 171

create_ap

[NOT MAINTAINED] This script creates a NATed or Bridged WiFi Access Point.

Language:ShellBSD-2-Clause4436 179 366

ring

Clojure HTTP server abstraction

Language:ClojureMIT3755 115 266

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellMIT3341 192 50

mojo

:sparkles: Mojolicious - Perl real-time web framework

Language:PerlArtistic-2.02664 213 996

vim-dispatch

dispatch.vim: Asynchronous build and test dispatcher

Language:Vim Script2642 40 277

book

A textbook on informal homotopy type theory

Language:TeX2025 122 634

vim-fireplace

fireplace.vim: Clojure REPL support

Language:Vim Script1747 34 300

dmix

A modern MPD Client for Android.

Language:JavaApache-2.0588 39 679

document-viewer

Document Viewer is a highly customizable document viewer for Android.

Language:JavaGPL-3.0518 44 256

tpacpi-bat

ThinkPad ACPI Battery Util

Language:PerlGPL-3.0434 25 82

clay

A CSS preprocessor as embedded Haskell.

Language:HaskellNOASSERTION357 13 140

blaze-html

A blazingly fast HTML combinator library for Haskell.

Language:HaskellNOASSERTION240 9 101

internal-methods

Notes on how to use the internal language of toposes in algebraic geometry

Language:TeX53 9 1

homoalg

Language:TeX300

talk-hott

Introductory talk on homotopy type theory

Language:TeX200