Beast code in Giters

Nils's starred repositories

Mensa

eth & uzh mensas in zurich

Language:KotlinMIT2300

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION154000

learn-opengl-rs

Rust port of JoeyDeVries/LearnOpenGL

Language:RustUnlicense95400

LearnOpenGL

Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com

Language:C++NOASSERTION1068700

vim-projectionist

projectionist.vim: Granular project configuration

Language:Vim Script104500

LanguageClient-neovim

Language Server Protocol (LSP) support for vim and neovim.

Language:RustMIT354300

denite.nvim

:dragon: Dark powered asynchronous unite all interfaces for Neovim/Vim8

Language:PythonNOASSERTION206100

vader.vim

A simple Vimscript test framework

Language:Vim Script58800

eclipse.jdt.ls

Java language server

Language:Java171900

sbt

sbt, the interactive build tool

Language:ScalaApache-2.0478100

libgdx

Desktop/Android/HTML5/iOS Java game development framework

Language:JavaApache-2.02305200

vim

The official Vim repository

Language:Vim ScriptVim3582300

eclim

Expose eclipse features inside of vim.

Language:JavaGPL-3.0104000

nodika

event calender for emergency services by veterinarians

Language:PHPMIT400

ssh-copypasta

python script that manages ssh public keys on a community server

Language:Python400

vis-surround

Vis plugin to easily modify surrounding quotes or brackets

Language:LuaMIT700

vis-commentary

Vis plugin for easy block commenting

Language:LuaMIT1600

vis-git-status

Vis plugin for displaying git information in the status bar

Language:LuaMIT500

vis-modelines

Vis plugin that tries to read standard Vim modelines with an LPEG parser

Language:LuaMIT700