Lists (1)
Starred repositories
13
results
for source starred repositories
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
Agda is a dependently typed programming language / interactive theorem prover.
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Crucible is a library for symbolic simulation of imperative programs
Haskoin Core is a Bitcoin and Bitcoin Cash library
A language for intent-centric and declarative decentralised applications
Main source code repository of the Tamarin prover for security protocol verification.
The modular protocol framework based on Universal Composability
Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library
Pure Haskell implementation of the MurmurHash3 x86_32 algorithm.