carabolic's Stars
resume/resume.github.com
Resumes generated using the GitHub informations
wting/autojump
A cd command that learns - easily navigate directories from the command line
jOOQ/jOOQ
jOOQ is the best way to write SQL in Java
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
arogozhnikov/python3_with_pleasure
A short guide on features of Python 3 with examples
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.
simongog/sdsl-lite
Succinct Data Structure Library 2.0
console-rs/console
A rust console and terminal abstraction
h2oai/sparkling-water
Sparkling Water provides H2O functionality inside Spark cluster
LevelbossMike/vim_shortcut_wallpaper
A vim cheat sheet wallpaper.
markonm/traces.vim
Range, pattern and substitute preview for Vim
snowleopard/alga
Algebraic graphs
haskell/statistics
A fast, high quality library for computing with statistics in Haskell.
nomeata/ghc-proofs
Let GHC prove program equations for you
c64scene-ar/chipdisk-nac-vol.1
Chipdisk Nacional Vol.1
mightybyte/fake
Generate realistic looking fake data
beckyconning/haskell-snake
Simple and short implementation of a Snake game. Any pull requests which make it shorter or cleaner would be greatly appreciated : ).
Gabriella439/Haskell-Bears-Library
Relational algebra
TU-Berlin-DIMA/myriad-toolkit
Myriad Parallel Data Generator Toolkit
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
carabolic/translator-prototypes
dbs-leipzig/foodbroker_ruby
A simulation based business data generator
carabolic/aim3-tu-berlin
Course tracking for aim3 lecture at DIMA/ TU Berlin
carabolic/applied-textmining
carabolic/ftfp
Advanced Topics of Functional Programming
carabolic/impro-3_doku
Dokumentation für IMPRO 3 (Applied Textmining)
carabolic/jimplex
carabolic/translator
carabolic/zsh-git-prompt
Informative git prompt for zsh