gokhankici/vim-hs-plugins gokhankici/vim-hs-plugins

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gokhankici/vim-hs-plugins
github

gokhankici

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

orc_fdw

PostgreSQL extension which implements a Foreign Data Wrapper (FDW) for ORC files.
C
16
star
2

iodine

Iodine: Verifying Constant-Time Execution of Hardware
C++
11
star
3

verilog-parser-c

C
3
star
4

compressedfile_fdw

PostgreSQL foreign data wrapper for compressed files.
3
star
5

xenon

C++
2
star
6

goolong

Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
Prolog
2
star
7

verylog-hs

Haskell
1
star
8

verilog-parser-hs

Haskell
1
star