travitch / hasksyn

A vim mode for Haskell

I enjoy building secure and correct systems. I have built a number of static analysis and automated verification tools, with a recent focus on analysis of binaries.

Repositories

Data Structures

Data structures that may be generally useful

• haggle [37 ⭐ 📖]: An efficient graph library for Haskell
• persistent-vector [27 ⭐ 📖]: Persistent vectors for Haskell based on array mapped tries
• robbed [4 ⭐]: A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)

Program Analysis

• ql-grep [3 ⭐]: A code search tool that implements CodeQL on the tree-sitter infrastructure
• build-bom [45 ⭐]: Dynamically discover the commands used to create a piece of software
• whole-program-llvm [664 ⭐]: A wrapper script to build whole-program LLVM bitcode files; note that I consider this to be obsoleted by build-bom, which takes a more robust approach to the same problem
• itanium-abi [12 ⭐ 📖]: An implementation of C++ name mangling for the Itanium ABI
• what4-serialize [0 ⭐]: Serialization/deserialization for What4 expressions

Binary Analysis

• crepitans [2 ⭐]: A tool for scriptable exploration of binaries
• dismantle [24 ⭐]: A library of assemblers and disassemblers derived from LLVM TableGen data
• portable-executable [3 ⭐]: Tools for working with the Windows Portable Executable (PE) file format
• semmc [34 ⭐]: Stratified synthesis for learning machine code instruction semantics
• macaw [191 ⭐]: Open source binary analysis tools.
• macaw-loader [5 ⭐]: Uniform interface to load a binary executable and get Macaw Memory and a list of entry points.
• renovate [46 ⭐]: A library for binary analysis and rewriting
• language-sleigh [5 ⭐]: A parser for the Sleigh language, which is used to represent ISA semantics in Ghidra
• mctrace [5 ⭐]: An implementation of DTrace for machine code

Debugging Tools

• ddmin [3 ⭐]: An implementation of delta debugging (ddmin) in Haskell
• surveyor [18 ⭐]: A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
• binary-walkr [2 ⭐]: A tool for examining ELF binaries

Solvers

Note that these are interesting and informative, but definitely not efficient enough to use in production

• satisfaction [2 ⭐]: A DPLL SAT solver written in Haskell
• datalog [102 ⭐]: A pure Haskell implementation of Datalog
• ifscs [4 ⭐ 📖]: An inductive form set constraint solver in Haskell
• satir [1 ⭐]: An implementation of a SAT solver in Rust

Emacs Packages

• haskell-pragma.el [3 ⭐]: An emacs hydra to enable Haskell language extensions efficiently
• haskell-interactive-import.el [0 ⭐]: A Haskell function and minor mode for interactively adding imports to modules

Others

• taffybar [688 ⭐ 📖]: A gtk based status bar for tiling window managers such as XMonad; now maintained by Ivan Malison
• travitch [1 ⭐]: The code for my Github profile page, which generates this page
• blog [3 ⭐]: The code for my blog (ravit.ch)
• dotfiles [0 ⭐]: A collection of dotfiles managed by Chezmoi

hasksyn's Issues

Support Tibbe-style alignment of 'where' clauses

I've implemented the ability to 'dedent' the where clause by a half-shift-width, as described in these style guides. If you're interested, I'll put it under an option setting and send in a PR. The commit responsible is at int3/hasksyn@cec81d7

On reindent, lines with "in" keyword are misaligned

When realigning a block such as the following using "="

loop acc x:xs = let acc' = acc * 10 + digitToIt x
                in loop acc xs

the in is re-aligned with the variable binding on the previous line, not the let.

MacVim: strings coloring.

Hi! For some reasons I can't test it on Linux for now, but with MacVim I have strings are being colored as normal text.

can not indent well for guards

here is the code format by hasksyn:

import Data.Char

asInt :: String -> Int
asInt = foldl step 0
    where step acc x
          | x == '-' = -acc
          | otherwise = acc * 10 + digitToInt x

but it can not load by ghci:

Prelude> :l as_int.hs 
[1 of 1] Compiling Main             ( as_int.hs, interpreted )

as_int.hs:6:11:
    parse error (possibly incorrect indentation or mismatched brackets)
Failed, modules loaded: none.

Error while running hasksyn

I get the following error

E59: invalid character after \@
E475: Invalid argument: hsOperator "\(\%^\#\!\)\@!\(\(\<[A-Z]\w*\)\@64<=\.\)\@!\(--\+\([^.%\~\&\*/\$\^|@:+<!>=#!\?]\|$\)\)\@![-.%\~\&\*/\$\^|@:+<!>=#!\?]\+"

I am running the spf13 bundle. I have no changes to that bundle.