gebner Goto Github PK

neovim-nightly-overlay

[maintainer=@mjlbach]

neovim-qt

Neovim client library and GUI, in Qt5.

nix

Nix, the purely functional package manager

nixpkgs

Nix Packages collection

node-native-keymap

Provide OS keyboard layout functionality as a nodejs module

noise-star

Verified implementations for the Noise family of protocols

notmuch2gmvault

Small tool to convert a notmuch database to a gmvault backup.

num-ws11-bsp1

num-ws11-bsp2

numint

Final project for the numerics course in the fall semester 2011.

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

oce

Open CASCADE Community Edition: patches/improvements/experiments contributed by users over the official Open CASCADE library.

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

olean-rs

parser/viewer for olean files

oleanparser

openstreetmap-americana

A quintessentially American map style

osmand-qt

pass2keepass

Simple tool to convert passwords from pass into keepassx (v1) format.

plenary.nvim

plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.

popl17_tutorial

POPL tutorial

presentations

lean-related presentations

programming_in_lean

proofgram

Understanding proofs by the grammar of their Herbrand sequents

pulse

The Pulse separation logic DSL for F*

qalculate-gtk

Qalculate! GTK+ UI

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

racket

The Racket repository

reference

Reference manual for the Lean theorem prover

reforest

Compressing term languages using grammars.

resolution.lean

Resolution prover in lean. This project has now moved to https://github.com/leanprover/library_dev