Starred repositories
15
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A Haskell library that simplifies access to remote data, such as databases or web-based services.
A Dependently Typed Functional Programming Language
Official Haskell IDE support via the language server protocol (LSP)
Haskell to VHDL/Verilog/SystemVerilog compiler
A stream-based runtime-verification framework for generating hard real-time C code.
Crucible is a library for symbolic simulation of imperative programs
A formal semantics of the RISC-V ISA in Haskell
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
Astview is a graphical viewer for abstract syntax trees
Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document
Haskell library for parsing XDR (http://www.faqs.org/rfcs/rfc1832.html), plus code generators.
Short article about Haskell, python, and readability