Pinned Repositories
authinfo
KISS password manager
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-ats2
Flycheck support for the ATS2 language
ginsu
Full-screen client for the Gale chat system
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pyc-fmtstr-parser
Parser for printf/scanf format strings
drvink's Repositories
drvink/flycheck-ats2
Flycheck support for the ATS2 language
drvink/ginsu
Full-screen client for the Gale chat system
drvink/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
drvink/authinfo
KISS password manager
drvink/bap
Binary Analysis Platform
drvink/docs
This repository contains .NET Documentation.
drvink/flycheck
On the fly syntax checking for GNU Emacs
drvink/flycheck-ocaml
OCaml support for Flycheck using Merlin
drvink/fsfoundation
The F# Software Foundation website
drvink/FSharp.Compiler.CodeDom
An F# CodeDOM implementation (based on the old F# Power Pack)
drvink/FSharp.Compiler.Service
The F# compiler as a component. For editors. For analyzers. For love. You know you want it.
drvink/FStar
Verification system for effectful programs
drvink/gh.el
GitHub API library for Emacs
drvink/gist.el
Yet another Emacs paste mode, this one for Gist.
drvink/haskell-mode
Emacs mode for Haskell
drvink/irony-mode
A C/C++ minor mode for Emacs powered by libclang
drvink/lsp-mode
Emacs client/library for the Language Server Protocol
drvink/mikubot
MikuBot IRC bot
drvink/ocaml-ssl
OCaml SSL bindings.
drvink/ocaml_test
Fug
drvink/ocamlfind
The OCaml findlib library manager
drvink/ocamltarzan
Compile Time Reflection or Metaprogramming for OCaml
drvink/pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
drvink/plugins
Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
drvink/popup-el
Visual Popup Interface Library for Emacs
drvink/PSL
drvink/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
drvink/systemd
The systemd System and Service Manager
drvink/tuareg
Emacs OCaml mode
drvink/visualfsharp
The Visual F# compiler and tools