Krishnakumar Gopalakrishnan, PhD

RFC: Replace Haskell CIS (2016) with MOOC variant from Aalto University

3

**Problem:** * OSSU lists [Introduction to Haskell](https://www.seas.upenn.edu/~cis1940/fall16/) to teach Haskell topic, but there exists a higher quality course that covers the same material. **Duration:** 1 month **Background:** The [Introduction to...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description [Ikos](https://github.com/NASA-SW-VnV/ikos) is an advanced static analyzer for C/C++...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description [fbinfer](https://fbinfer.com) is an advanced static analysis tool for...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description Frama-C is a comprehensive static analysis tool developed...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description pysa is a static analyzer for python. https://pyre-check.org/docs/pysa-basics/...

Support for flawfinder

3

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description [flawfinder](https://github.com/david-a-wheeler/flawfinder) is a static analysis tool for finding...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description [bashate](https://github.com/openstack/bashate) is a code style enforcement for bash...

### Issues - [X] I have checked [existing issues](https://github.com/jose-elias-alvarez/null-ls.nvim/issues) and there are no existing ones with the same request. ### Feature description [pydocstringformatter](https://pypi.org/project/pydocstringformatter/) is an interesting tool for formatting python...

[New package]: Support CMake debugger which uses the DAP protocol

2

### I've searched open & closed issues for similar requests - [X] Yes ### Package name cmake debugger ### Package homepage https://cmake.org/cmake/help/latest/manual/cmake.1.html#cmdoption-cmake-debugger ### Languages cmake ### How is this package...

[New package]: Support for ikos ( Static analyzer for C/C++ based on the theory of Abstract Interpretation_

1

### I've searched open & closed issues for similar requests - [X] Yes ### Package name ikos ### Package homepage https://github.com/NASA-SW-VnV/ikos ### Languages C, C++ ### How is this package...