Filip Krikava (fikovnik)

fikovnik

Geek Repo

Company:Czech Technical University

Location:Czech Republic

Home Page:http://fikovnik.net/

Github PK Tool:Github PK Tool


Organizations
PRL-PRG

Filip Krikava's repositories

ShiftIt

Managing windows size and position in OSX

GMailinator

Mail.app plugin that adds Gmail-style keyboard shortcuts.

Language:Objective-CStargazers:20Issues:7Issues:10

dotfiles

curl -Lks http://bit.ly/fikovnik-dotinit | /bin/bash -x

Language:ShellStargazers:9Issues:3Issues:0

dotfiles-1

There's lots of configurations out there, but this one is mine.

Language:LuaStargazers:1Issues:1Issues:0
Language:HTMLStargazers:1Issues:3Issues:0

OOPSLA19-artifact

An artifact for Scala Implicits are Everywhere

Language:ShellStargazers:1Issues:2Issues:0

zsh-quickjump

A zsh plugin adding tab completion to quickly navigate to recent files and directories

Language:ShellLicense:MITStargazers:1Issues:3Issues:0
Language:C++Stargazers:0Issues:3Issues:0

bpftrace

High-level tracing language for Linux eBPF

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

brainfuck

BF playground

Language:RustLicense:MITStargazers:0Issues:2Issues:0

Config

Personal configuration files

Language:Emacs LispStargazers:0Issues:2Issues:0

cpplinks

A categorized list of C++ resources.

Stargazers:0Issues:2Issues:0

cwm

portable version of OpenBSD's cwm(1) window manager

Language:CStargazers:0Issues:2Issues:0

docker-jupyter-scala

Docker image running jupyter with jupyter-scala kernel

Language:DockerfileStargazers:0Issues:3Issues:0

docker-rstudio

rstudio with my set of packages

Language:MakefileLicense:MITStargazers:0Issues:3Issues:2

dwm

dwm fork with my config

Language:CLicense:MITStargazers:0Issues:3Issues:2

ggscala2

A Scala package that produces plots using library ggplot2 from the software R

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

kafka-consumer

Simple kafka consumer

Language:RustStargazers:0Issues:2Issues:0

latextags

An R package for exporting values into latex

Language:RLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ob-tmux

Ob-tmux is an Emacs library that allows org mode to evaluate code blocks in a tmux session.

Language:Emacs LispStargazers:0Issues:3Issues:0
Language:AgdaStargazers:0Issues:3Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

R-dyntrace

A Dynamic tracing framework for R

Language:CSSStargazers:0Issues:2Issues:0

remarkable-hacks

additional functionality via binary patching

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sai

Staged Abstract Interpreters

Language:ScalaStargazers:0Issues:2Issues:0

signatr-paper

Paper for the signatr project.

Language:TeXStargazers:0Issues:1Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispStargazers:0Issues:3Issues:0

st

st fork with my config

Language:CLicense:MITStargazers:0Issues:3Issues:10

wwwcurryon

Website for Curry On!

Language:HTMLStargazers:0Issues:3Issues:0