carabolic's Stars
lusis/confluence-vim
A vim plugin for taking notes in markdown and storing them in a confluence wiki.
kdmurthy/libxosd-xft
libxosd-xft, osd-show-key and osd-show-file for X11
console-rs/console
A rust console and terminal abstraction
markonm/traces.vim
Range, pattern and substitute preview for Vim
h2oai/sparkling-water
Sparkling Water provides H2O functionality inside Spark cluster
mightybyte/fake
Generate realistic looking fake data
arogozhnikov/python3_with_pleasure
A short guide on features of Python 3 with examples
c64scene-ar/chipdisk-nac-vol.1
Chipdisk Nacional Vol.1
Gabriella439/Haskell-Bears-Library
Relational algebra
nomeata/ghc-proofs
Let GHC prove program equations for you
snowleopard/alga
Algebraic graphs
beckyconning/haskell-snake
Simple and short implementation of a Snake game. Any pull requests which make it shorter or cleaner would be greatly appreciated : ).
dbs-leipzig/foodbroker_ruby
A simulation based business data generator
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
simongog/sdsl-lite
Succinct Data Structure Library 2.0
resume/resume.github.com
Resumes generated using the GitHub informations
jOOQ/jOOQ
jOOQ is the best way to write SQL in Java
homenc/HElib
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
wting/autojump
A cd command that learns - easily navigate directories from the command line
haskell/statistics
A fast, high quality library for computing with statistics in Haskell.
carabolic/zsh-git-prompt
Informative git prompt for zsh
carabolic/ftfp
Advanced Topics of Functional Programming
carabolic/impro-3_doku
Dokumentation für IMPRO 3 (Applied Textmining)
carabolic/jimplex
carabolic/translator-prototypes
carabolic/translator
carabolic/aim3-tu-berlin
Course tracking for aim3 lecture at DIMA/ TU Berlin
carabolic/applied-textmining
TU-Berlin-DIMA/myriad-toolkit
Myriad Parallel Data Generator Toolkit
LevelbossMike/vim_shortcut_wallpaper
A vim cheat sheet wallpaper.