- Linear Types are Awesome https://github.com/Matthew-Mosior/fasta-region-inspector/tree/main 38 comments haskell
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- GHCup https://www.haskell.org/ghcup/ 71 comments
- The Haskell Tool Stack https://docs.haskellstack.org/en/stable/README/ 47 comments
- The LLVM Compiler Infrastructure Project http://llvm.org 40 comments
- SBV: SMT Based Verification in Haskell | SBV http://leventerkok.github.io/sbv/ 3 comments
- YAML Ain’t Markup Language (YAML™) revision 1.2.2 https://yaml.org/spec/1.2.2/#692-node-anchors 2 comments
- The Yices SMT Solver http://yices.csl.sri.com/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - Matthew-Mosior/fasta-region-inspector: A bioinformatics tool for analyzing somatic hypermutation
See how to search.