drvink Goto Github PK

authinfo

KISS password manager

bap

Binary Analysis Platform

docs

This repository contains .NET Documentation.

electroportis

The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows

epanos

ElectroPaint Automatic No-source Object reaSsembler (a MIPS to C decompiler)

flycheck

On the fly syntax checking for GNU Emacs

flycheck-ats2

Flycheck support for the ATS2 language

flycheck-ocaml

OCaml support for Flycheck using Merlin

flycheck-tip

Show flycheck/flymake errors by tooltip

fsfoundation

The F# Software Foundation website

fsharp.compiler.codedom

An F# CodeDOM implementation (based on the old F# Power Pack)

fsharp.compiler.service

The F# compiler as a component. For editors. For analyzers. For love. You know you want it.

fsharplangdesign

RFCs and docs related to the F# language design process, see http://fslang.uservoice.com to submit ideas

fstar

Verification system for effectful programs

gh.el

GitHub API library for Emacs

ginsu

Full-screen client for the Gale chat system

gist.el

Yet another Emacs paste mode, this one for Gist.

haskell-mode

Emacs mode for Haskell

irony-mode

A C/C++ minor mode for Emacs powered by libclang

lsp-mode

Emacs client/library for the Language Server Protocol

mikubot

MikuBot IRC bot

ocaml-ssl

OCaml SSL bindings.

ocaml_test

Fug

ocamlfind

The OCaml findlib library manager

ocamltarzan

Compile Time Reflection or Metaprogramming for OCaml

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

plugins

Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.

popup-el

Visual Popup Interface Library for Emacs

psl